>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して