para todo elemento "w" de Σ.