Set Inequality

Theorem

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

Proof
$$ $$ $$ $$