:: deftheorem defines LDir AFPROJ:def 5 :
for AS being AffinSpace
for X being Subset of AS holds LDir X = Class ((LinesParallelity AS),X);