for C being Simple_closed_curve
for i being Nat
for S being Segmentation of C st i in dom S holds
Segm (S,i) c= C