for AS being AffinSpace
for a being Element of AS
for A being Subset of AS st A is being_line holds
( a in A iff a * A = A )