Topics: Discrete Mathematics - Relation


(definition)

Let be a poset.

We say that is a total order relation if every pair is comparable. In such a case, we can describe as “totally ordered”.