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