Definition:Subset/Class

From ProofWiki
Jump to navigation Jump to search

Definition



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$.


Sources