Anti-Symmetric Property

eo 2019/01/01

In lattice theory:

if $upper A superset-of-or-equal-to upper B$ , then $upper B neither-a-superset-of-nor-equal-to upper A$ unless $A = B$