formula_23 representa al operador de trayectoria ordenada.