Completeness:
forall x,y in X either xBy or yBx
source
jl@crush.caltech.edu
index
representation_theorem
probability
weak_order
extension
reflexiv
axiom
QP5