Definition:Boolean Algebra/Bottom

From ProofWiki
Jump to navigation Jump to search

Definition

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


The identity element $\bot$ for meet ($\wedge$) is called bottom.


Sources