for AS being AffinSpace
for A, C being Subset of AS st A // C holds
C // A