Group theory
Closure: It is required to check if the suggested operation is actually an operation on the set. If an operation is used on any elements in the group, the element that is formed will also be part of the group.