theorem Th20: :: TOPALG_6:20

for T being TopStruct
for f being parametrized-curve PartFunc of R^1,T holds f is Curve of T