:: deftheorem Def16 defines up-3-dimensional INCSP_1:def 16 :
for S being IncStruct holds
( S is up-3-dimensional iff not for A, B, C, D being POINT of S holds {A,B,C,D} is planar );