closure axiom noun1 •A rule stating that for a given set and an operation, the result of applying that operation to any two elements within the set must also be an element of that same set. formsclosure axioms