Si "L" es un subconjunto de Σ*, se define la relación equivalente ~ en Σ* de la siguiente manera: