It is a partially ordered set. That means it is a set with the
following properties: a binary relation that is 1. reflexive 2.
antisymmetric 3. transitive a totally ordered set has totality
which means for every a and b in the set, a< or equal to b or
b< or equal to a. Not the case in a poset. So a partial order
does NOT have totality.