:: deftheorem defines Curves TOPALG_6:def 5 :
for T being TopStruct holds Curves T = { f where f is Element of PFuncs (REAL,([#] T)) : f is parametrized-curve PartFunc of R^1,T } ;