Definition
A partition of a set X is a set of nonempty subsets of X such that every element x in X is in exactly one of these subsets.
Equivalently, a set P is a partition of X if, and only if, it does not contain the empty set and:
- The union of the elements of P is equal to X. (The elements of P are said to cover X.)
- The intersection of any two distinct elements of P is empty. (We say the elements of P are pairwise disjoint.)
In mathematical notation, these two conditions can be represented as
- 1.
- 2.
where is the empty set.
The elements of P are called the blocks, parts or cells of the partition.
The rank of P is |X| − |P|, if X is finite.
Read more about this topic: Partition Of A Set
Famous quotes containing the word definition:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)