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.
Chat with our AI personalities