It is well known that for a total qualitative probability order 〈 S, F=𝒫 (S), ⪋ 〉↦ S, F=𝒫 (S),P〉
Scotts axiom's, in addition to (1), (2), (3)
tothe axioms of non negativity :
(1)∀ (A_i)∈ F: · {A}≥ ∅
2Non triviality
{S}>∅
3. comparability ∀ (A,B)∈ F: : [B >A]⊻ [A=o B] ]⊻ A=B⇔ PR(A)=P(A)=P(A)