  We study connections between closure operators on an algebra $(A,\Om)$ and
congruences on the extended power algebra defined on the same algebra. We use
these connections to give an alternative description of the lattice of all
subvarieties of semilattice ordered algebras.
