well-quasiordering

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