for f being V26() standard special_circular_sequence
for P being non empty Subset of (TOP-REAL 2) st P = L~ f holds
P is being_simple_closed_curve