Topics: Discrete Mathematics - Relation


A relation on a set is said to be an order relation if is reflexive, antisymmetric and transitive.

If , then we will denote the relation by writing .

When we define an order relation on a given set , we say that is a partially ordered set. When every pair in is comparable, then is a total order relation and is a totally ordered set.