Ordinal sum

Summary