No CrossRef data available.
Published online by Cambridge University Press: 09 April 2009
A mapping κ: P(X) → P(X) is a quasi-closure operator (see Thron (1966) page 44) if (i) □κ = □, and for all A, B ∈ P(X) we have (ii) A ⊆ Aκ, and (iii) (A ⋓ B)κ = Aκ ∪ Bκ one easily deduces that such operators have the further property: (iv) if A ⊆ B ⊆ X, then Aκ if κ also satisfies: (v) Aκ2 ⊆ Aκ for all A ⊆ X, then κ is called a Kuratowski closure operator.