Set Inequality

Theorem

 * $$S \ne T \iff \left({S \not \subseteq T}\right) \or \left({T \not \subseteq S}\right)$$

Proof
$$ $$ $$ $$