1.Previous
3.Next

Roughly, a relation algebra is to a system of binary relations on a set containing the empty (), universal (), and identity 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

1.Previous
3.Next