Грана математика која изучава коначне, тј. пребројиве дискретне структуре.