>>612
距離空間の話が混ざっているような気も…。
まあ、他の方が最後にコメントを下さると思いますよ。
とりあえず、次に行けて良かったです。