Definition 7.3.6. Given two smooth non-identity homotopy classes of paths and contained in the same component of , there is a unique such that there is a minimal smooth path in with the property that and are equal to the classes of restrictions of . We say that and have the same orientation (resp. opposite orientation) if (resp. ).
Original source: arXiv:2009.09627v2