Talk:Boolean Algebra is Equivalent to Boolean Lattice

The page proves that by extending a Boolean algebra with the ordering relation in the statement, the resulting structure is a Boolean lattice. I think the converse holds (that is, the ordering on a Boolean lattice always satisfies the given rule), but I haven't proven it yet. Even as stated, this lets us apply results about Boolean lattices to Boolean algebras (in particular, in Stone's representation theorem). --CircuitCraft (talk) 02:22, 28 January 2024 (UTC)

Yes I gather that's what this does, I was just questioning the fact that the name has nothing to do with the contents. --prime mover (talk) 08:34, 28 January 2024 (UTC)