J. Harding has proved that the profinite limit of an algebra A in a finitely generated variety of monotone lattice expansions coincides with its canonical extension. In this note we drop the monotonicity of the additional operations and prove the same result.

CEMAT - Center for Computational and Stochastic Mathematics