@kururu_goedel: この前気づいたのが、long intervalの被覆次元は∞になるってことで、なんか順序位相の次元は1になって欲しいときにはどうしたら良いのでしょうね。2012-04-29 11:46:43 via TweetDeck @kururu_goedel: @ilovegalois すると、ω_1×{0}がω_1と…