:: deftheorem Def2 defines rectangular SPRECT_1:def 2 :
for f being FinSequence of (TOP-REAL 2) holds
( f is rectangular iff ex D being non empty compact non horizontal non vertical Subset of (TOP-REAL 2) st f = SpStSeq D );