Assiomi per may preorder

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

(F1)

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

si ottiene invece l'assiomatizzazione per il preordine di may.