:: deftheorem Def21 defines Plane INCSP_1:def 21 :
for S being IncSpace
for A being POINT of S
for L being LINE of S st not A on L holds
for b₄ being PLANE of S holds
( b₄ = Plane (A,L) iff ( A on b₄ & L on b₄ ) );