Given a Subspace of a Space and a Map from to a Space , is it possible to extend that Map to a Map from to ?