:: deftheorem defines are_collinear DIRAF:def 5 :
for S being non empty AffinStruct
for a, b, c being Element of S holds
( a,b,c are_collinear iff a,b '||' a,c );