Lattices of varieties Varieties mathematics