https://thelogictutorial.blogspot.com/2024/04/lattices-in-discrete-structures-theory.html