for AS being AffinSpace
for K, P being Subset of AS st K is being_line holds
P c= Plane (K,P)