Definition
A topological space is a set with a function
called the closure operator where is the power set of .
The closure operator has to satisfy the following properties for all
- (Extensivity)
- (Idempotence)
- (Preservation of binary unions)
- (Preservation of nullary unions)
If the second axiom, that of idempotence, is relaxed, then the axioms define a preclosure operator.
Read more about this topic: Kuratowski Closure Axioms
Famous quotes containing the word definition:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“... 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)