Como O(n) es la preimagen por esa función de {I}, vemos que O(n) es cerrado.