个最小上界，这里是{"x","y","z"}，和一个最大下界，这里是{"y"}。这预示了最小上界（并或上确界）被表示为同逻辑OR一样的符号"p"∨"q"；而最大下界（交或下确界）被表示为同逻辑AND一样的符号"p"∧"q"。这种格释义有助于一般化为海廷代数，它是免除要么一个陈述要么它的否定必须为真的限制的布尔代数。海廷代数对应于直觉逻辑，而布尔代数对应于经典逻辑。布尔代数又译为zh-hans:布林代数; zh-hant:布尔代数;，然而布尔代数得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国