Page "Removable singularity" Paragraph 7

Formally, if is an open subset of the complex plane, a point of, and is a holomorphic function, then is called a removable singularity for if there exists a holomorphic function which coincides with on.

We say is holomorphically extendable over if such a exists.