A\subset B\Leftrightarrow \left ( \forall x \right )\left ( x\in A\Rightarrow x\in B \right )