Not to be confused with: closure (topology) or closure (programming)

Definition

A set is said to be closed under certain operation if performing that operation on members of the set always return another member of the set.