Relation Composition and Equivalence Listing