La definición, también, implica que η es abierta.