Study of relationships between elements in a set, including equivalence, order, and structure. Defines concepts like subsets and acceptance spaces