Definition. Cardinal [002J]

    TODO