Property where the result of an operation on members of a set remains within the set.