Some basic definitions and a lemma.