Definition Based space is a pair where is a space, and is the basepoint. Map of based spaces is a map st . Based homotopy is a homotopy relative to .