>>536
この場合最初の1号室とされるものは集合の外にやられるわけでしょ?
それってこの集合を別の集合に置き換える中で存在を定義できるの?