Sea E un espacio métrico discreto con métrica 0–1.