symmetric:
forall x,y in X: xBy => yBx


source
jl@crush.caltech.edu index
antisymmetric
equivalence
asymmetric
axiom