Hence S5-algebra is a synonym for monadic Boolean algebra.

• 所以 S5-代数 是一元布尔代数的同义词。