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.