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:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)