An active indifference is defined for strict partial orders.

x~~y <=> (x~z<=>y~z forall z in X)

(essentially a forcing of transitivity) This can be used to define:
X/~~


source
jl@crush.caltech.edu index
strict_partial_order