Definition:Irreducible (Topology)
From ProofWiki
Definition
Let $X \neq \varnothing$ be a topological space.
Then $X$ is irreducible if there does not exist a decomposition $X = X_1 \cup X_2$ for proper closed sets $X_1, X_2 \neq X$.