(For infinite left or right sets, this is valid in an altered form, since infinite sets might not contain a maximal or minimal element.)
(Для бесконечных левых или правых множеств это справедливо в измененной форме, так как бесконечные множества могут не содержать максимальный или минимальный элемент.)