... a compact element in a lattice and that of a compact subset of a topological space Algebraic lattices originated with Komatu and Nachbin in the 1940’s and B¨chi in the early 1950’s; the original ... operations ∨ and ∧ by a ∨ b = sup {a, b}, and a ∧ b = inf {a, b} Suppose that L is a lattice by the first definition and ≤ is defined as in (A) From a a = a follows a ≤ a If a ≤ b and b ≤ a then a = a ... orthogonal Latin squares and Kleene’s characterization of languages accepted by finite automata—can be presented using universal algebra We predict that such “applied universal algebra will become...