Tag: closure property of subtraction