Квазимногообразия метрических алгебр

Вводятся понятия непрерывного семейства квазитождеств и непрерывного квазимногообразия. Для непрерывных квазимногообразий доказывается характеризационная теорема и аналог теоремы Биркгофа о подпрямом разложении. Также указывается способ построения примеров непрерывных квазимногообразий и характеризуются решетки относительных конгруэнций систем из непрерывных квазимногообразий. Дается новое доказательство теоремы Хана–Банаха о продолжении линейного функционала.