Formalmente, sea "U" un subconjunto abierto del plano complejo C, sea "a" un elemento de "U" y "f" : "U" − {"a"} → C es una función holomorfa .