:: deftheorem defines OASpace ANALOAF:def 4 :
for V being RealLinearSpace holds OASpace V = AffinStruct(# the carrier of V,(DirPar V) #);