Difference between revisions of "Subset of"
From Maths
(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...") |
(No difference)
|
Latest revision as of 19:21, 28 October 2016
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
