Closure property of multiplication definition and example