:: deftheorem defines is_a_h.c._for SPRECT_2:def 2 :
for f, g being FinSequence of (TOP-REAL 2) holds
( g is_a_h.c._for f iff ( g is_in_the_area_of f & (g /. 1) `1 = W-bound (L~ f) & (g /. (len g)) `1 = E-bound (L~ f) ) );