Assertion: algebra's set | /r/MadeOf | the empty
Facets:
Source sentences:
text: Roughly, a relation algebra is to a system of binary relations on a set containing the empty (0), complete (1), and identity (I) relations and closed under these five operations as a group is to a system of permutations of a set containing the identity permutation and closed under composition and inverse.