Set Inequality

Theorem
$$S \ne T \iff \left({S \not \subseteq T}\right) \lor \left({T \not \subseteq S}\right)$$