Topic summary
Identity relation
Extracted from the Wikipedia article Homogeneous relation.
Enumeration
The set of all homogeneous relations over a set X is the set 2, which is a Boolean algebra augmented with the involution of mapping of a relation to its converse relation. Considering composition of relations as a binary operation on , it forms a monoid with involution where the identity element is the identity relation.
