Closure under multiplication