for AFS being AffinSpace
for f being Permutation of the carrier of AFS
for A, C being Subset of AFS st f is collineation & A // C holds
f .: A // f .: C