☰
Definitions and Preliminaries