to be closed means that the operation of a group applied to an element of a group would produce another element of the group.