abgregations - the converse of the given relation