hola Fabricio. Las ideas están y están bien escritas, salvo por algo que no tiene nada que ver que es introducir $[x]$, que denota a la clase de equivalencia de $x$ y que sólo tiene sentido cuando el contexto es el de una relación de equivalencia. Esta relación es de orden y trabajás bien con ella cuando escribís $x\leq e$ (vos usás eso como $x\in [e]$ que no es). Sacale todas las oraciones en que aparecen clases de equivalencia y verás que queda con sentido.

Saludos