полная подалгебра

Мат. complete subalgebra