:: deftheorem defines Dir_of_Planes AFPROJ:def 8 :
for AS being AffinSpace holds Dir_of_Planes AS = Class (PlanesParallelity AS);