Lessons in Logic 47: First Lesson in Inductive Logic: Definitions