.  -   An element $\sigma \in \Mod({\Sigma})$ is said to be *reducible* if it admits a *non-empty* reduction system $\calA$; it is said to be *irreducible* otherwise.  -   An element $\sigma \in \Mod({\Sigma})$ is said to be *p