for D being non empty set holds addpfunc D is commutative