Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Function
▾
Real collection function
▾
Euclidean real function
▾
Complex function
▾
Holomorphic function
Entire function
Formulation 1
A
D4881: Complex function
$f : \mathbb{C} \to \mathbb{C}$ is an
entire function
if and only if $f$ is a
D1392: Holomorphic function
on $\mathbb{C}$.