ПодЧУМ

Пусть $\preccurlyeq$ — отношение порядка на $A$ и $\varnothing \neq B \subseteq A$. Пусть $\preccurlyeq_B = \{(a, b) \in B^2 \mathpunct{:}~~ a \preccurlyeq b\}$ — ограничение $\preccurlyeq$ на $B$. Тогда $(B, \preccurlyeq_B)$ — ЧУМ, он называется **подЧУМом** ЧУМа $(A, \preccurlyeq)$.