Fixed closure lemma