:: deftheorem defines Dir_of_Lines AFPROJ:def 7 :
for AS being AffinSpace holds Dir_of_Lines AS = Class (LinesParallelity AS);