  We deal with equations over free semilattice of infinite rank and prove that
any infinite consistent system of equations is equivalent to its finite
subsystem. Moreover, we describe irreducible algebraic sets and solve some
algorithmic problems.
