リーマン球面
と定義すれば、"f"("z") はリーマン球面からそれ自身への全単射な正則函数となる。