Es sei ${\displaystyle {}M}$ eine differenzierbare Mannigfaltigkeit mit Rand. Unter einem differenzierbaren Halbweg verstehen wir jede differenzierbare Abbildung

${\displaystyle \gamma \colon [-\epsilon ,0]\longrightarrow M}$

(mit ${\displaystyle \epsilon >0}$). Definiere, wann zwei Halbwege mit ${\displaystyle {}\gamma _{1}(0)=\gamma _{2}(0)=P\in M}$ tangential äquivalent sind, und zeige, dass dadurch eine Äquivalenzrelation gegeben ist. Was kann man über die Quotientenmenge