Rječnik pojmova - skupovi i relacije

Ovdje se nalaze pojmovi koji se koriste u poglavlju teorija skupova i relacije.

Browse the glossary using this index

Special | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | ALL

K

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, tj.

Neka je

relacija na skupu A. Za

klasa ekvivalencije

s obzirom na

je skup

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

, tj.

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

Relacija

je kompletna ako vrijedi $$(\forall x,y\in A, x\neq y)$$ je $$(x,y)\in \rho$$ ili $$(y,x)\in \rho$$

Skup A je konačan ako je prazan ili postoji bijekcija iz A u

skup koji se sastoji od prvih n prirodnih brojeva.

f je konstantna funkcija ili konstanta ako

takav da

Neka je

relacija na skupu A. Skup klasa ekvivalencije s obzirom na

je kvocijentni skup. Oznaka