projection)と呼び、projaと表したりします。projbも定義できます。mapping)といいます。mapping)といいます。mapping)といいます。全単写2つの集合の間に全単写が存在するとき、その2つの集合の全ての元の間には1対1の対応があります。このとき、2つの集合は同値(equivalent)(対等、等価などと訳す場合もあり)であるといいます。互いに同値な集合というのは、集合的に完全に対等な関係にあると考えることが出来ます。