Set Inequality

Theorem

 * $S \ne T \iff \paren {S \nsubseteq T} \lor \paren {T \nsubseteq S}$