Introduction and Key Definitions