abgregations- the converse of the given relation