Noun
a
branch
of
mathematics
that
studies
(
usually
finite
)
collections
of
objects
that
satisfy
specified
criteria