closure

mathematical property of an operation