APA Dictionary of Psychology

the branch of mathematics and logic that is concerned with the properties of sets (i.e., collections of entities that are themselves treated as entities). See also class theory.