Properties of Partial Order Relation
The few properties of a partial order relation are:
- Empty relation on a non-empty set is never partial order.
- Universal relation over a non-empty set is never a partial order.
- The smallest partial-order relation will only contain aRa tuples.
Partial Order Relation on a Set
A relation is a subset of the cartesian product of a set with another set. A relation contains ordered pairs of elements of the set it is defined on.