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 $upper A equals upper B$