skup mat Osnovni pojam suvr. matematike. Teorija skupova temelji se na intuitivnoj predodžbi cjeline sastavljene od elemenata. Pretpostavlja se da su elementi različiti te da postoji pravilo koje određuje je li element član skupa ili nije. Označavaju se obično velikim slovima (A, B, C…) i vitičastim zagradama. Tako se npr. skup prir. brojeva označava N = {1, 2, 3, 4,…, n,…}. Taj je skup beskonačan jer ima beskonačno mnogo elemenata. Ako skup ima konačan broj elemenata, on je konačan; ako ima samo jedan element, on je jedinični skup, a ako nema nijednog elementa, onda je prazan. Skupovi X i Y su jednaki ako je svaki element skupa X ujedno i element skupa Y, i obratno. Skupovi koji su sadržani u drugim skupovima nazivaju se njihovi podskupovi. Npr. skup parnih brojeva podskup je skupa prir. brojeva. Ako skupovi imaju neke elemente zajedničke, onda ti elementi čine presjek skupova. Na skupovima se mogu definirati operacije (skupovne operacije): unija, presjek, razlika, komplement. Skupove i njihove međuodnose često se prikazuje Vennovim dijagramima.