:: deftheorem defines strong PENCIL_1:def 3 :
for S being TopStruct
for T being Subset of S holds
( T is strong iff for x, y being Point of S st x in T & y in T holds
x,y are_collinear );