text: Если гомоморфизм ϕ {\displaystyle \phi } является сильным, то есть для каждого предиката из r k ′ ∈ R ′ {\displaystyle r'_{k}\in R'} и любого набора элементов a 1 ′ , … a n ′ ∈ A ′ {\displaystyle a'_{1},\dots a'_{n}\in A'} из утверждения ( a 1 ′ , … a n ′ ) ∈ r k ′ {\displaystyle (a'_{1},\dots a'_{n})\in r'_{k}} вытекает существование таких прообразов a 1 ∈ ϕ − 1 a 1 ′ , … a n ∈ ϕ − 1 a n ′ {\displaystyle a_{1}\in \phi ^{-1}a'_{1},\dots a_{n}\in \phi ^{-1}a'_{n}} , что ( a 1 , … a n ) ∈ r k {\displaystyle (a_{1},\dots a_{n})\in r_{k}} , то ϕ {\displaystyle \phi } является изоморфизмом.