Tag: closure property of multiplication