theorem Th24: :: TOPALG_6:24

for T being TopStruct
for c being Curve of T holds
( dom c c= REAL & rng c c= [#] T )