:: deftheorem Def11 defines Plane GTARSKI5:def 11 :
for S being non empty satisfying_Tarski-model satisfying_Lower_Dimension_Axiom TarskiGeometryStruct
for p, q, r being POINT of S st not Collinear p,q,r holds
Plane (p,q,r) = Plane ((Line (p,q)),r);