Kuratowski Closure Axioms - Definition

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

  1. (Extensivity)
  2. (Idempotence)
  3. (Preservation of binary unions)
  4. (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:

    ... 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)

    Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.
    Elaine Heffner (20th century)

    The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.
    Ralph Waldo Emerson (1803–1882)