>>643
>>533の表現を使うと、どんな集合からでも要素を「ゼロ個」選び出して「要素がゼロ個の集合」を作れる、ということ。