О подобиях и близости полных теорий

Вводятся понятия синтаксического и семантического подобий полных теорий и на их основе — понятия оболочки и почти оболочки теории. С общей позиции даются характеристики таких подобий теории и определимости одной теории в другой. Предложена одна конструкция, позволяющая для любой алгебраической системы $\mathfrak{A}$ построить полигон $\mathfrak{A}_n$ такой, что $Th(\mathfrak{A}_n)$ является оболочкой или почти оболочкой $Th(\mathfrak{A})$.