Boolean Algebra is a Poset

Originally written: November 1st, 2021

While reading Steven Awodey's Category Theory textbook, I came up with a fascinating claim:

A Boolean Algebra is a Partially Ordered Set (Poset).

The claim was made while introducing the concept of initial and terminal objects in category theory, but I found it so intriguing that I reproduce (paraphrase) it here. Click here to view it!