plus operation for infinite sets