text: Начальный объект 0 {\displaystyle 0} в предпорядке P {\displaystyle {\mathcal {P}}} , если он существует, — это его наименьший объект, так что ∀ a ∈ P : 0 ⩽ a {\displaystyle \forall a\in {\mathcal {P}}\colon 0\leqslant a} .