>>55
自然に位相が入るとしても位相が入ってなくても定義可能なのは変わらないね