#'''Closure''': applying the binary operator to any two elements of the group produces a result which itself belongs to the group | #'''Closure''': applying the binary operator to any two elements of the group produces a result which itself belongs to the group |