Anti
symmetric
:
forall x,y in X: xBy /\ yBx => x=y
source
jl@crush.caltech.edu
index
strict_order
order