>>178
前半はxの冪集合の冪集合の元に{x}が含まれているからでいいと思う。
ただ後半は俺もわからん。教えてエロい人