Idempotent versions of Haar's Lemma: links between comparison of discrete event systems with different state spaces and control.