Lecture 05: Foundations and Systems - Basic Definitions