2007-02-26から1日間の記事一覧

集合論の公理系(その 12)

前回、二つの集合 a , b の直積 を定義しました。今回は、それを用いて、対応・写像・関係のお話をします。 対応と対応の合成、逆対応 二つの集合 a , b に対して、 の部分集合、すなわち の元を、a から b への対応と言います。 を対応とし、 とするとき な…