Definition:Set Partition/Definition 2
Jump to navigation
Jump to search
Definition
Let $S$ be a set.
A partition of $S$ is a set of non-empty subsets $\Bbb S$ of $S$ such that each element of $S$ lies in exactly one element of $\Bbb S$.
Also defined as
Some sources do not impose the condition that all sets in $\Bbb S$ are non-empty.
This is most probably more likely to be an accidental omission rather than a deliberate attempt to allow $\O$ to be an element of a partition.
The point is minor; proofs of partitionhood usually include a demonstration that all elements of such a partition are indeed non-empty.
Also see
Sources
- 1965: J.A. Green: Sets and Groups ... (previous) ... (next): $\S 2.3$. Partitions
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {II}$: New Structures from Old: $\S 10$: Equivalence Relations
- 1968: Ian D. Macdonald: The Theory of Groups ... (previous) ... (next): Appendix: Elementary set and number theory
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 3$: Equivalence relations and quotient sets: Quotient sets
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 7$: Unions and Intersections
- 1996: John F. Humphreys: A Course in Group Theory ... (previous) ... (next): Chapter $2$: Maps and relations on sets: Definition $2.28$
- 2008: Paul Halmos and Steven Givant: Introduction to Boolean Algebras ... (previous) ... (next): Appendix $\text{A}$: Set Theory: Equivalence Relations
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): partition (of a set)