set theory - definition of subset

Subset

{% A %} is a subset of {% B %} if every element of {% A %} is an element of {% B %}.

{% A \subset B %}

if and only if

{% \forall x \in A, x \in B %}