Abgeschlossenheit einer Verknüpfung auf einer Menge

Eine Menge \(M\) ist bezüglich einer Verknüpfung \(\circ\) abgeschlossen, wenn gilt

\begin{align*} a,b \in M \Rightarrow (a \circ b) \in M \end{align*}