Riemann sphere
推移写像は正則であることから、これによりリーマン球面と呼ばれる複素多様体が定義できる。