ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11460 on D4898: Complex domain
F11460
Formulation 2
Let $T_{\mathbb{C}} = (\mathbb{C}, \mathcal{T}_{\mathbb{C}})$ be the D5778: Standard complex topological space such that
(i) $T_{\Omega} = (\Omega, \mathcal{T}_{\Omega})$ is a D100: Topological subspace of $T_{\mathbb{C}}$
Then $T_{\Omega}$ is a complex domain if and only if
(1) $\Omega$ is an D97: Open set in $T_{\mathbb{C}}$
(2) $T_{\Omega}$ is a D1116: Connected topological space