General Definitions