transitivity:
forall x,y,z: xBy /\ yBz => zBx
source
jl@crush.caltech.edu
index
representation_theorem
strict_partial_order
negative_transitive
active_indifference
regret_theory
equivalence
weak_order
reflexiv
preorder
axiom
QP5