A countable directed family of semigroup congruences is introduced, and a theory analogous to the theory of normal series for groups is developed. This rather simple approach, surprisingly, is an effective tool for studying the structures of the lattices formed by certain species of semigroups (classes of semigroups closed under taking homomorphic images) such as varieties, pseudovarieties, and existence varieties etc.