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

[[curator]]
I'm the Curator. I can help you navigate, organize, and curate this wiki. What would you like to do?