Definition:Free Homotopy