Lecture 01L - Basic Definitions (1.1-1.3)