MathematicalRelation

The standard way of defining a relation R on a set X is as some subset of (X x X). We write aRb if and only if (a,b) is in R. Some particularly important kind of relations are MathematicalFunction?s, EquivalenceRelations, and partial orders (see PartialOrderedSet).

Relations form a BooleanAlgebra with implications => as the partial order.