text: Положим f 1 ⩽ f 2 {\displaystyle f_{1}\leqslant f_{2}} для двух компактификаций f 1 : X → Y 1 {\displaystyle f_{1}:X\to Y_{1}} , f 2 : X → Y 2 {\displaystyle f_{2}:X\to Y_{2}} , если существует непрерывное отображение g : Y 2 → Y 1 {\displaystyle g:Y_{2}\to Y_{1}} такое, что g f 2 = f 1 {\displaystyle gf_{2}=f_{1}} .