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