An excerpt of a set.

is subset of , if and only if, every element of is also an element of .

Every set is a subset of itself: , ,…

The empty set () is a subset of every set: ,,…

Proper subset

when the set has more elements than the subset.

being subset of is also a relation.