the branch of mathematics concerned with the properties and interrelationships of sets
2. logic
a theory constructed within first-order logic that yields the mathematical theory of classes, esp one that distinguishes sets from proper classes as a means of avoiding certain paradoxes
set theory in American English
the branch of mathematics that deals with the properties and relations of sets