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/~.