symmetric:
forall x,y in X: xBy => yBx
source
jl@crush.caltech.edu
index
antisymmetric
equivalence
asymmetric
axiom