Definition:Closure of Set under Closure Operator

From ProofWiki
Jump to: navigation, search

Definition

Let $S$ be a set.

Let $\operatorname{cl}$ be a closure operator on $S$.

Let $T \subseteq S$ be a subset of $S$.


The closure of $T$ is its image $\operatorname{cl}(T)$.


Also see