どうでもいいが選択公理は代数的操作には必ずついてくるゾ