Subset

Grade: B

This page requires references, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.

Stub grade: D

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.

Note for the relation (specifically: partial ordering) [ilmath]\subset[/ilmath] and [ilmath]\subseteq[/ilmath] see: Subset (relation).

Definition

A subset, [ilmath]A[/ilmath], of a set [ilmath]B[/ilmath] is a set that is entirely contained in [ilmath]B[/ilmath]. That means everything contained in [ilmath]A[/ilmath] is also in [ilmath]B[/ilmath]. That is:

• [ilmath]\forall x[x\in A\implies x\in B]\iff A\subseteq B[/ilmath]

See also

• The implies-subset relation