# Subset of

From Maths

**Stub grade: B**

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.The message provided is:

Should be obvious to audience of site, created as stub page, to stop the link being red

## Definition

A set [ilmath]A[/ilmath] is a *subset of* a set [ilmath]B[/ilmath] if [ilmath]A\subseteq B[/ilmath], that is (by the implies-subset relation):

- [ilmath]\forall a\in A[a\in B][/ilmath] which comes from [ilmath]\forall x[x\in A\implies x\in B][/ilmath].

This may be written [ilmath]A\in\mathcal{P}(B)[/ilmath] (where [ilmath]\mathcal{P}(B)[/ilmath] denotes the power-set of [ilmath]B[/ilmath], by definition, all subsets of [ilmath]B[/ilmath]!), or [ilmath]A\subseteq B[/ilmath].

Some authors use [ilmath]A\subset B[/ilmath], however we reserve this for *proper subset* - see below. Some authors who use this for what we use [ilmath]\subseteq[/ilmath] use [ilmath]\subsetneq[/ilmath] for the proper case.

### Proper subset

A subset is called *proper* if [ilmath]A\subseteq B[/ilmath] and [ilmath]A\ne B[/ilmath].

## Immediate claims

- Note that [ilmath]\emptyset[/ilmath][ilmath]\subseteq A[/ilmath] for all sets [ilmath]A[/ilmath].
- Note that [ilmath]\emptyset\subset A[/ilmath] for all
*non-empty*sets [ilmath]A[/ilmath].

## See also

## References

Grade: C

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.

The message provided is:

The message provided is:

Could use something, obvious to layperson