In this lecture I prove important basic properties of the left homotopy relation.  I provide conditions under which good and very good left homotopies exist, and show that if two morphisms are left homotopic, then one is a weak equivalence if and only if the other is.