>>111
どういう意味? 閉包(もしくは開核)を対応せせる写像を定めるってこと?