For two elements a and b in a set S, a ∗ b is another element in the set; this condition is called closure.
За два елементи а и б во множество S, a ∗ б е уште еден елемент во множеството; оваа состојба се нарекува затворање.