Definition of Compact