Определение

Замкнутость множества относительно бинарной операции - отношение, при котором для некоторого множества $S'$, являющееся подмножеством $S$ с операцией $*$ выполняется следующее условие:
$$x*y \in S' \text{ } \forall x,y \in S$$