algebra skupova, neprazna sveukupnost podskupova nekoga skupa Ω zatvorena u odnosu na konačan broj operacija na njima (unija, presjek itd.). Da bi neka klasa podskupova skupa Ω bila algebra skupova, nužno je i dovoljno da ta klasa podskupova bude zatvorena u odnosu na formiranje unija i pridruživanje komplemenata. (→ skup)