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