Examples of algebraic lattices are lattices of congruences and lattices of subalgebras of an algebra; they are continuous. In formalizing this material, notational solutions different from those in the CCL-book [Ch. I, Section 4] were adopted.
