A strict
weak order
satisfies:
asymmetric
/\
negative transitive
source
jl@crush.caltech.edu
index
order