Learning Functional Programming in Go

Closure axiom

If a, b ∈ S, then a + b ∈ S.

That says, if a and b are any two values in the set S of integers and if we apply the binary operation + to any two values, then the result of that addition operation will be a value that is also in the set of integers.