A
symmetric
:
forall x,y in X: xBy => y!Bx
source
jl@crush.caltech.edu
index
preference_relation
strict_weak_order
axiom