Diskreetne matemaatika uurib lõplikke hulki, lõplikult genereeritud hulki, lõplike hulkade süsteeme, s.t lõplikke suhteid e relatsioone, ja lõplikke funktsioone, s.t funktsioone, mille muutumis- ja määramispiirkonnad on lõplikud.