text: Подсистема называется элементарной, если для любой формулы φ ( x 1 , … , x n ) {\displaystyle \varphi (x_{1},\;\ldots ,\;x_{n})} и для любых b 1 , … , b n ∈ | B | {\displaystyle b_{1},\;\ldots ,\;b_{n}\in |B|} выполнено: A ⊨ φ ( b 1 , … , b n ) {\displaystyle A\models \varphi (b_{1},\;\ldots ,\;b_{n})} тогда и только тогда, когда B ⊨ φ ( b 1 , … , b n ) {\displaystyle B\models \varphi (b_{1},\;\ldots ,\;b_{n})} .