一般位相とか集合論とか