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