Teori set ialah cabang ilmu matematik yang mengkaji set, unsur-unsurnya, dan hubungan-hubungannya.

B
-

Bijeksi (*bijection*)
Pemetaan satu dengan satu yang mana setiap unsur dalam set P dipadankan dengan satu unsur unik dalam set Q dan begitu juga sebaliknya. Setiap imej dipetakan daripada satu argumen.

D
-

Domain (*domain*)
Domain bagi fungsi {\displaystyle f:A\to B} ialah set {\displaystyle A}.

F
-

Fungsi (*function*)
Pemetaan daripada satu set asal (domain) kepada satu set sasaran (kodomain). Fungsi {\displaystyle f} dengan domain {\displaystyle A} dan kodomain {\displaystyle B} ditulis {\displaystyle f:A\to B}.

Fungsi identiti (*identity function*)
Fungsi yang memetakan setiap unsur kepada unsur yang sama.

Fungsi kosong (*empty function*)
Fungsi dengan domain set kosong.

Fungsi pemalar (*constant function*)
Fungsi yang imejnya malar, iaitu tidak berubah. Semua fungsi kosong adalah pemalar.

Fungsi songsang (*inverse function*)
Fungsi songsang bagi fungsi {\displaystyle f} (ditulis {\displaystyle f^{-1}}) ialah fungsi dengan syarat jika {\displaystyle f(x)=y} maka {\displaystyle f^{-1}(y)=x}.

G
-

Gambar rajah Venn (*Venn diagram*)
Gambar rajah ringkas yang diperkenalkan oleh John Venn yang digunakan untuk menggambarkan hubungan antara set.

Gubahan (*composition*)
Gubahan fungsi {\displaystyle f} dan fungsi {\displaystyle g} (ditulis {\displaystyle g\circ f}) ialah fungsi yang memberi argumennya kepada {\displaystyle f} dan memberi nilainya kepada {\displaystyle g}.

H
-

Hasil darab (*product*)
Hasil darab (juga dipanggil *hasil darab Cartes*) bagi set {\displaystyle A} dan set {\displaystyle B} (ditulis {\displaystyle A\times B}) ialah set yang mengandungi semua pasangan di mana komponen pertama merupakan unsur dalam {\displaystyle A} dan komponen kedua merupakan unsur dalam {\displaystyle B}.

I
-

Imej (*image*)
Imej bagi sebarang objek {\displaystyle x} dalam {\displaystyle A} di bawah fungsi {\displaystyle f:A\to B} ialah unsur dalam {\displaystyle B} yang dipetakan oleh {\displaystyle f}. Imej bagi keseluruhan domain {\displaystyle A} dikenali sebagai *julat*.

Injeksi (*injection*)
Fungsi yang memetakan setiap argumen kepada nilai-nilai yang berbeza.

Julat
-----

{{istilah
Julat|range|Julat bagi suatu fungsi {\displaystyle f} ialah set bagi semua nilai yang yang dipetakan oleh {\displaystyle f}, dan merupakan subset bagi kodomainnnya.}}

K
-

Kekardinalan (*cardinality*)
Ukuran bilangan unsur dalam sesuatu set. Kekardinalan bagi set {\displaystyle A} ditulis {\displaystyle \mid A\mid }.

Kesatuan (*union*)
Kesatuan bagi set {\displaystyle A} dan set {\displaystyle B} (ditulis {\displaystyle A\cup B}) ialah set yang mengandugi semua unsur dalam A dan semua unsur dalam B.

Kesatuan tak bercantum (*disjoint union*)
Kesatuan tak bercantum bagi set {\displaystyle A} dan set {\displaystyle B} (ditulis {\displaystyle A+B}) ialah set yang mengindeks semua unsur dalam {\displaystyle A} dan semua unsur dalam {\displaystyle B} mengikut set asal mereka.

Kodomain (*codomain*)
Kodomain bagi fungsi {\displaystyle f:X\to Y} ialah set {\displaystyle Y}.

P
-

Paradoks Russell (*Russell's paradox*)
Paradoks yang ditemui oleh Bertrand Russell yang menyatakan bahawa "set yang mengandungi semua set yang bukan unsur bagi dirinya sendiri" membawa kepada percanggahan.

Pelengkap (*complement*)
Pelengkap bagi set {\displaystyle A} dalam set {\displaystyle B} (ditulis {\displaystyle A\setminus B}) ialah set yang mengandungi semua unsur dalam {\displaystyle B} tetapi tidak mengandungi sebarang unsur dalam {\displaystyle A}.

Pelengkap mutlak (*absolute complement*)
Pelengkap mutlak bagi set {\displaystyle A} (ditulis {\displaystyle A'}) ialah pelengkap bagi {\displaystyle A} dalam set semesta.

Persilangan (*intersection*)
Persilangan bagi set {\displaystyle A} dan set {\displaystyle B} (ditulis {\displaystyle A\cap B}) ialah set yang mengandungi unsur-unsur yang terdapat dalam kedua-dua set A dan B.

S
-

Set (*set*)
Koleksi bagi objek yang dipanggil *unsur*. Set ditulis dengan tatatanda {\displaystyle \{...\}}.

Set kosong (*empty set*)
Set yang tidak mengandungi sebarang unsur. Set kosong ditulis {\displaystyle \{\}} atau {\displaystyle \emptyset }.

Set kuasa (*power set*)
Set kuasa bagi suatu set {\displaystyle A} (ditulis {\displaystyle {\mathcal {P}}(A)}) ialah set yang mengandungi semua subset {\displaystyle A}.

Set semesta (*universal set*)
Set yang mengandungi semua set. Set semesta dilambangkan dengan xi ({\displaystyle \xi }).

Subset (*subset*)
Suatu set {\displaystyle A} ialah subset bagi suatu set {\displaystyle B} (ditulis {\displaystyle A\subseteq B}) jika semua unsurnya terkandung dalam {\displaystyle B}.

Surjeksi (*surjection*)
Fungsi yang kodomainnya adalah sama dengan julatnya.

U
-

Unjuran (*projection*)

Unsur (*element*)
Ahli set. Keahlian {\displaystyle x} dalam set {\displaystyle A} ditulis {\displaystyle x\in A}.