複素多様体
リーマン面
2つの複素多様体のデカルト積
正則写像の任意の臨界値でない値の逆像