Definition:Base Point of Loop