Transitividad y herencia de la expansión regular