Definition:Subcollection

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ and $T$ be collection of objects.

$S$ is a subcollection of $T$ if and only if all of the elements of $S$ are also elements of $T$.