:: deftheorem defines between5 GTARSKI3:def 4 :
for S being TarskiGeometryStruct
for a, b, c, d, e being POINT of S holds
( between5 a,b,c,d,e iff ( between a,b,c & between a,b,d & between a,b,e & between a,c,d & between a,c,e & between a,d,e & between b,c,d & between b,c,e & between b,d,e & between c,d,e ) );