teorija skupova, grana matematike koja se bavi skupovima (njihovim svojstvima, odnosima među njima i operacijama nad njima). Primjenjuje se u mnogim granama matematike (algebri, geometriji, topologiji…) i u drugim znanostima. Utemeljio ju je Georg Cantor u drugoj pol. XIX. st.