Definition, synonyms and related words
a branch of mathematics that studies (usually finite) collections of objects that satisfy specified criteria