"=>" is fine if foral A">" empty set there exists a finite partition {E1,...,En} of O s.t. A"=>" Ei forall i.

fine => PA1

tight /\ fine => P a representation of ">"

Proposition:
"=>" QP(qualitative probability) /\ fine /\ tight => PA1 /\ P(A) > P(B) <=> A">"B