Definition of COMPACT