alg-d

• 選択公理