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