theorem Th10: :: MSUALG_9:10

for I being set
for A being ManySortedSet of I
for B being non-empty ManySortedSet of I
for F being ManySortedFunction of {A},B holds F is "1-1"