Definition
Given a topological space X, a subset A of X is meagre if it can be expressed as the union of countably many nowhere dense subsets of X. Dually, a comeagre set is one whose complement is meagre, or equivalently, the intersection of countably many sets with dense interiors.
A subset B of X is nowhere dense if there is no neighbourhood on which B is dense: for any nonempty open set U in X, there is a nonempty open set V contained in U such that V and B are disjoint.
The complement of a nowhere dense set is a dense set, but not every dense set is of this form. More precisely, the complement of a nowhere dense set is a set with dense interior.
Read more about this topic: Meagre Set
Famous quotes containing the word definition:
“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)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)