微分可能関数
複素解析において、ある点の近傍で複素微分可能な関数はすべて正則と呼ばれる。そのような関数は必ず無限回微分可能であり、実は解析的である。