Subset

If $A$ and $B$ are sets, then $A\subseteq B$ iff

$$\forall x\in A.x\in B$$