for AS being AffinSpace
for a being Element of AS
for K, M being Subset of AS st K // M holds
a * K = a * M