Subset

Definition

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

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

Remarks

The set of subsets of a set $B$, i.e. is its power set.

A of $B$ subset could be iterpreted as a predicate in type-theoretic settings.