Operador de Clausura

Un operador de clausura en un conjunto X es una aplicación cl: P(X) → P(X) que asigna a cada subconjunto A su clausura cl(A) y satisface tres axiomas: extensividad (A ⊆ cl(A)), monotonicidad (A ⊆ B ⇒ cl(A) ⊆ cl(B)) e idempotencia (cl(cl(A)) = cl(A)). En topología cl(A) es el menor supraconjunto cerrado de A.