L(T1) и LL(T2)) 
для всякой формулы A языка L верно, что (T1|– A T2|– A), т.е. (T1
L)=(T2L).– T1 и T2 - функционально эквивалентны относительно языка L
существует теория T3 в языке L такая, что T1 и T2 являются консервативными расширениями T3.