Prazan skup
U matematici, specifično u teoriji skupova, prazni skup je jedinstveni skup koji ne sadrži nijedan element. U aksiomatskoj teoriji skupova se njegovo postojanje postulira aksiomom praznog skupa, iz kojeg se grade svi konačni skupovi. Razna općenita svojstva skupova su trivijalno istinita za prazni skup.