Assertion: relation algebra | /r/CapableOf | close under these five operations
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.