Вивчення теорії множин з використанням СКМ Mathematica

Система Mathematica містить розвинуті засоби для роботи з множинами. У ній представлені такі основні числові множини як Primes (множина простих чисел), Integers (множина цілих чисел), Rationals (множина раціональних чисел), Reals (множина дійсних чисел), Algebraics (множина комплексних алгебраїчних чисел) і Complexes (множина комплексних чисел). Також є FullRegion[n] (множина Rⁿ ), EmptyRegion[n] (порожня підмножина простору Rⁿ ). Множини можна задавати, виконувати над ними операції, ілюструвати геометрично, використовувати їх при обчисленнях. Завдяки логічним операціям, або так званій булевій алгебрі, у Mathematica можна виконувати операції і над довільними абстрактними множинами.