for I being non empty set
for P being ManySortedSet of I
for i being Element of I holds {P} . i is 1 -element