homogeneous and heterogeneous relations
Distinguishing between types of binary relations:
A homogeneous relation (endorelation) is a binary relation where the domain is also the codomain.
A heterogeneous relation is a binary relation where the domain is distinct from the codomain.