H es la preimagen por f del conjunto cerrado {1}.