代数学： 「集合」と「集合の要素間に成り立つ演算」が成す構造についての学問 記号： 集合から集合への写像 集合の元から集合の元への写像 集合の族：集合の集合のこと。「集合の集合」と書くと、パラドクスが生じるようなので、こういう表現をする。 ベキ集合：部分集合全体の成す集合。 Xのベキ集合をと表記する 直積集合： 「2つの集合それぞれから1ずつ選んだ要素のペア」をすべて集めた集合 {a, b}×{X, Y} = {(a,X), (a,Y), (b,X), (b,Y)} 単射・全射・全単射：クラスの女子が、好きな男子にチョコレートをプレゼントする（ただし、女の子は1個ずつのチョコレートしかもっていない）という状況でたとえる。 単射：2つ以上のチョコをもらう男子はいない（1個ももらえない男子がいてもよい（女子の方が人数が少ない場合））。 全射：全員の男子がチョコをもらう（複数のチョコをもらう男子