Addition up to omega and comparison