Teoria mulțimilor este fundamentul întregii matematici și se studiază în clasa a 9-a ca parte a programei de algebră. Orice domeniu de definiție, mulțime de soluții, eveniment probabilistic sau spațiu vectorial se exprimă prin limbajul mulțimilor. La examenul de Bacalaureat, Matematica M1, teoria mulțimilor nu constituie un subiect de sine stătător, dar conceptele — reuniuni de intervale, complementare, incluziune, cardinalul reuniunii — apar în formularea și rezolvarea majorității exercițiilor, de la Subiectul I până la Subiectul III. Problemele tipice cer operații cu mulțimi finite, aplicarea formulei cardinalului reuniunii, demonstrarea legilor lui De Morgan sau determinarea produsului cartezian.