Reflexivity:
forall x in X: xBx
complete
ness /\
transitiv
ity => reflexivity
source
jl@crush.caltech.edu
index
equivalence
weak_order
irreflexiv
preorder
axiom