monadic Boolean algebra

ウィキペディアから