O espaço de ventilador enumerável é separável

Por construção, o espaço do ventilador como definimos é enumerável. Assim, considerando o espaço todo, temos um conjunto denso e enumerável. Portanto, o espaço é separável.