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.

Konjunkcija  sudova a i b je sud "a i b" koji je istinit jedino ako su sudovi a i b istiniti.

Konjunktivna normalna forma neke funkcije algebre sudova je konjunkcija svih njezinih bazičnih disjunkcija.

f je konstantna funkcija ili konstanta ako