Definitions and Notation