Definition 7.3.4. We say that a path in is smooth if it satisfies the equivalent conditions of Lemma 7.3.3.
We say that a path in is admissible if it is oriented and smooth.
We say that a homotopy class of paths is smooth (resp. admissible, resp. oriented) if it contains a smooth (resp. an admissible, resp. an oriented) path.