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