Definition of CARDINAL