Definition

(lecture 13)