:: deftheorem Def10 defines up-2-rank INCSP_1:def 10 :
for S being IncProjStr holds
( S is up-2-rank iff for A, B being POINT of S
for K, L being LINE of S st A <> B & {A,B} on K & {A,B} on L holds
K = L );