14 автоморфизм и невыразимость

Определение изоморфизма и автоморфизма структур. (не)Выразимость предиката через другие элементы сигнатуры. Пример невыразимого предиката.