Matematika

Kardinalni broj je klasa ekvivalencije kojoj skup pripada s obzirom na relaciju , tj. zajedničko svojstvo svih ekvipotentnih skupova. Stoga za ekvipotentne skupove govorimo da imaju isti kardinalni broj.

Kartezijev produkt nepraznih skupova A i B je skup uređenih parova (a,b) takvih da je a element od A, a b element od B.

Kofaktor (algebarski komplement) elementa  je broj

Relaciji može se pridružiti relacija koju zovemo komplement  relacije i pišemo .
Komplement  relacije  je skup svih uređenih parova (a,b) za koje vrijedi da uređen par (a,b) nije element relacije .

Komplement skupa A je skup koji sadrži sve elemente univerzuma U koji nisu elementi od A.

skup koji se sastoji od prvih n prirodnih brojeva.

f je konstantna funkcija ili konstanta ako

Formula koja uvijek daje laž, bez obzira na logičku vrijednost sudova koje sadrži, zove se kontradikcija.

S implikacijom "a implicira b" povezana je implikacija "ne b implicira ne a" koju zovemo obrat suprotnog teorema ili kontrapozitivna tvrdnja.