Closure

Closure is an idea from Sets.

It is when an operation (such as "adding")
on members of a set (such as "real numbers")
always makes a member of the same set.