ブール代数
If "g" is a homomorphism from a Boolean algebra "B" to a Boolean algebra "C" and "MB" is any