This lecture introduces the homotopy extension property, which addresses the question of extending continuous maps from a subspace to the entire space. It explores the conditions under which this extension is possible, providing examples of pairs that do and do not satisfy this property. The lecture also discusses the implications of the homotopy extension property for various spaces, including the unit interval and the disk with its boundary.