Ordinal sum