мономорфизм - инъективынй гомоморфизм
эпиморфизм - сюръективный гомоморфизм
изоморофизм - биективыный гомоморфизм

Каждое подмножество Т булиана Р(М), замкнутое относительно булевых операций, содержит, как множество, являющееся подмножеством каждого множества Т(например пустое), так и множества, содержащие в качестве подмножества каждое множество из Т (например М). Таким образов, такое подмножество Т также является булевой алгеброй.