>>480
>『それぞれの集合から一つずつ元を選び出して新しい集合を作ることができる』
 だろ 一つずつ元を選び出すのが一意化