Исчисление условных тождеств и условно рациональная эквивалентность

Строится исчисление условных тождеств (подобное исчислению тождеств Биркгофа), адекватное понятию истинности условного тождества на универсальной алгебре. Исследуется связь изоморфизма категорий вложимости условных многообразий с условной рациональной эквивалентностью этих многообразий. В качестве приложения описываются инварианты отношений условной рациональной эквивалентности и схожести для конечных универсальных алгебр.