大域選択公理

「こんなに強そうな公理が必要なんだろうか」とぼんやり思っていたんですが、クラスについての「どの同値関係にも完全代表系が存在する」というタイプの選択公理を認めれば大域選択公理があっさりと出て来てしまうことを知りました。「大域」というの、集合にとっては大域的だという意味でしかない。確かにー。