:: deftheorem Def19 defines Line INCSP_1:def 19 :
for S being IncSpace
for A, B being POINT of S st A <> B holds
for b₄ being LINE of S holds
( b₄ = Line (A,B) iff {A,B} on b₄ );