Assiomi per must preorder

Aggiungendo ad $\mathcal{A}$ l'assioma

(E1)

$\tau .P + \tau .Q \sqsubseteq P$

si ottiene l'assiomatizzazione per il preordine di must.