if x,y contained in z, x,y are closed under addition, then x union y is closed under addition for x+y