‘Булева алгебра’

Монадическая булева алгебра Определение монадической булевой алгебры Монадическая булева алгебра — это алгебраическая структура A с сигнатурой ⟨A, ·, +, […]