Tag: closure property w.r.t addition and multiplication