:: deftheorem Def4 defines parametrized-curve TOPALG_6:def 4 :
for T being TopStruct
for f being PartFunc of R^1,T holds
( f is parametrized-curve iff ( dom f is interval Subset of REAL & ex S being SubSpace of R^1 ex g being Function of S,T st
( f = g & S = R^1 | (dom f) & g is continuous ) ) );