:: deftheorem Def2 defines Line AFF_1:def 2 :
for AS being AffinSpace
for a, b being Element of AS
for b₄ being Subset of AS holds
( b₄ = Line (a,b) iff for x being Element of AS holds
( x in b₄ iff LIN a,b,x ) );