Definition. Ordinal [002I]

    TODO