Sobre la semirretícula de operadores modales y descomposiciones del discriminador