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