各類の代表元を(選択公理によって)これ!と決めたときにある特定の自然数になる