Confluence

A semantics $\sigma$ satisfies Confluence iff for every $E \in \sigma(F)$ and $E' \subsetneq E$ with $E' \in \sigma(F)$, we have $E \setminus E' \in \sigma$$(F^{E'})$. It is the converse of Modularisation.