# Definition:Subset/Class

A set $S$ is a subset of a class $T$ if and only if it is a subclass of $T$.
Alternatively, a set $S$ is a subset of a class $T$ if and only if every element of $S$ is also an element of $T$.