A strict weak order that is trichotomous is called a strict total order [REF].
For a strict weak order "<" another associated reflexive relation is its reflexive closure, a (non-strict) partial order "≤".