математика вполне упорядоченное множество
A set with a total ordering and no infinite descending chains.