for I being set
for a being object holds pr1 (I,{a}) is one-to-one