 We are interested in representing specific ordinals \(\alpha\) as relations on \(\bbN\). In essence Cantor defined the first ordinal representation system in 1897. Natural ordinal representation systems are frequently derived from structures of the form 