well ordering

Мат. вполне упорядочение