La definicion de BINL quedo con dos clausulas base y dos inductivas, las bases las entiendo, pero en las inductivas: que entiende el conjunto por w y por n? Osea hay que asumir que w esta en BIN y n en naturales? O hace falta aclarar que es para todo w en bin y todo n en los naturales?