>>685
いやいやそれじゃそもそも閉集合じゃないじゃん