twitterでウニャウニャ話してたからそのメモとして。 「対応」は集合Aと集合Bを用意して、集合Aの元に対してBの複数の元を割り当てるという（広義の）一対多の関係のことだよね。 でも、数学はふつう単指示的で、記号は１つのものを指すようにできているので…