La topología compacta abierta, en el espacio de funciones continuas de "X" a "Y" tiene por subbase el conjunto de funciones