From relation to emulation: The Covering Lemma for transformation semigroups