На основе понятия неявной операции формулируются понятия неявного тождества, неявного K-многообразия. Приводится характеризация неявных K-многообразий.

1. Пинус А. Г. Неявные операции над категориями универсальных алгебр / А. Г. Пинус // Сиб. мат. журн. – 2009. – Т. 50, № 1. – С. 146–153.

2. Пинус А. Г. Условные термы и их приложения в алгебре и теории вычислений / А. Г. Пинус // Успехи мат. наук. – 2001. – Т. 56, № 4. – С. 35–72.

3. Eilenberg S. On pseudovarieties / S. Eilenberg, M. P. Schutzenberger // Adv. Math. – 1976. – Vol. 19, N 3. – P. 413–418.