Subset of

From Maths
Revision as of 19:21, 28 October 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=B|msg=Should be obvious to audience of site, created as stub page, to stop the link being red}} __TOC__ ==Definition== A set {{M|A}} is a ''subset of'' a set...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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

  1. Note that [ilmath]\emptyset[/ilmath][ilmath]\subseteq A[/ilmath] for all sets [ilmath]A[/ilmath].
  2. 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:
Could use something, obvious to layperson