Definition:Boolean Algebra/Top

From ProofWiki
Jump to navigation Jump to search

Definition

Consider the Boolean algebra $\struct {S, \vee, \wedge, \neg}$


The identity element $\top$ for join ($\vee$) is called top.


Sources