for AS being AffinSpace
for a, b being Element of AS ex A being Subset of AS st
( a in A & b in A & A is being_line )