Ordinal sum

From HandWiki