Semilattices with closure (Q2577679)

From the text: We examine the varieties of semilattices (called CSL's) with an additional closure operator treated as a unary operation. Topics investigated include the word problem in free CSL's, the lattice of CSL varieties, the finite basis problem for the identities of finite CSL's and a representation as intersection of closed subsets of topological spaces.