:: deftheorem defines with_endpoints TOPALG_6:def 8 :
for T being TopStruct
for c being Curve of T holds
( c is with_endpoints iff ( c is with_first_point & c is with_last_point ) );