| http://www.w3.org/ns/prov#value | - Formally: if f and g are continuous maps from X to Y and K is a subset of X, then we say that f and g are homotopic relative K if there exists a homotopy H : X ?? [0,1] ??? Y between f and g such that H(k,t) = f(k) for all k???K and t???[0,1].
|
