Searching for links to BinaryRelation:
Binary
EquivalenceRelation
Relation