>>52
>>51 の閉集合の定義は一応あってるだろ。何いってんの?