Un resultado muy útil con respecto a las funciones cerradas es el lema de la función cerrada: cada función continua "f": "X" → "Y" desde un espacio compacto "X" a un espacio de "Hausdorff" "Y" es cerrada.