Is there a distinction between strong or complete qualitative probability orders which are considered to be strong representation or total probability relations neither of which involve in-com parables events, use the stronger form of Scott axiom (not cases of weak, partial or intermediate agreements) and both of whose representation is considered 'strong '
of type (1)P>=Q iff P(x)>= P(y)
versus type
(2) x=y iff P(x)=P(x)
y>x iff P(y)>Pr(x) and
yB or A=B]iff not AB equiv B=B equiv B=B or BB and not A< B yet not A=B is possible in the second yet
A>= B or AB or A=A where this mutually exclusive to A>B equiv ~B= |