Introduction, definitions, and examples