Элемент 'алгебра Брувера'