位相空間論
以下、X、Y などは集合を表す。