:: deftheorem Def17 defines inc-compatible INCSP_1:def 17 :
for S being IncStruct holds
( S is inc-compatible iff for A being POINT of S
for L being LINE of S
for P being PLANE of S st A on L & L on P holds
A on P );