:: deftheorem defines special_polygonal SPPOL_2:def 2 :
for P being Subset of (TOP-REAL 2) holds
( P is special_polygonal iff ex p1, p2 being Point of (TOP-REAL 2) st p1,p2 split P );