Caratterizzazione alternativa di may

Seguendo quanto premesso la definizione alternativa del preordine may (e di conseguenza dell'equivalenza) è il seguente:

$$P \sqsubseteq_{may} Q \:$$    se $$\: \forall s \in Act^{*} \quad P \stackrel{s}{\Rightarrow} \:$$    implica $$\: Q \stackrel{s}{\Rightarrow}$$

Da questa definizione si vede che utilizzando il preordine di may l'equivalenza indotta è quella a traccie deboli.