定義 3.6 つの集合 が与えられ、 のどの要素に対しても、それぞれ の要素が一意的に(=ただ1つ)対応しているとき、この対応関係を から への写像という。集合 から集合 への写像を とするとき、 を の定義域、 を の終域という。また、各 に対応する の要素を…

定義 3.1 つの集合 に対して、次のように定める。ここで、 は、 の要素 の後に の要素 を並べて作った組である。 集合 を と の直背集合または単に直積という。直線集合 を と書く。 直積集合の要素 に対し、 をその第 座標、 をその第 座標という。定義 3.4…

定義 1.18 全体集合 が与えられたとする。このとき、任意の集合 に対して、差集合 を( における) の補集合とよび、で表す。本書では、最初の記号を採用する。任意の に対して、が成立する。命題 1.19 集合演算の基本性質2 任意の に対して、次が成り立つ。 …