text: Теория T {\displaystyle T} называется устойчивой относительно гомоморфизмов, если для любой алгебраической системы A {\displaystyle A} из A ⊨ T {\displaystyle A\models T} следует, что B ⊨ T {\displaystyle B\models T} , если B {\displaystyle B} — гомоморфный образ A {\displaystyle A} .