A strict partial order satisfies:
irreflexive /\ transitive

The equivalence ~ is not transitive, but you can make an active indifference ~~ which will be transitive.

This can be used to define:
X/~~ anologously to X/~.


source
jl@crush.caltech.edu index
representation_theorem
active_indifference
extension
order