Home Up Previous Next Random
A dagger preorder
\(q \leq p \iff p \leq q\) - this is tantamount to an equivalence relation.