$\Sigma$-однородные алгебраические системы и $\Sigma$-функции. I

Вводится понятие $\Sigma$-однородной алгебраической системы. Даётся необходимое и достаточное условие для существования универсальной $\Sigma$-функции в наследственно конечном допустимом множестве над $\Sigma$-однородной алгебраической системой.