semigroup, variety, lattice of varieties, permutational identity, modular element of a lattice, cancellable element of a lattice, Lattice of varieties, Permutational identity, Cancellable element of a lattice, Semigroup, Modular element of a lattice, Variety