Замкнутость относительно операции - определение

Множество (подмножество) $F$ называется замкнутым относительно операции $*$, если в результате применения этой операции $*$ к элементам множества $F$ её результат также принадлежит данному множеству.

Например, для бинарной операции $*$ множество $F$ будет замкнутым, если:
$\forall a,b\in F: a*b\in F$