При изложении теории множеств мы будем придерживаться так называемой интуитивной точки зрения, согласно которой такие понятия, как "множество", "элемент множества", относятся к начальным понятиям математики и поэтому не подлежат определению.
С понятием множества мы соприкасаемся, прежде всего тогда, когда по какой-либо причине объединяем по некоторому признаку в одну группу какие-то объекты и далее рассматриваем эту группу или совокупность как единое целое.
Множества принято обозначать заглавными латинскими буквами. Объекты, которые образуют множество, называют элементами множества и для обозначения элементов используют, как правило, малые буквы латинского алфавита. Если a является элементом множества M, то будем говорить, что a принадлежит множеству M, и использовать запись a Î M, в противном случае, если a не принадлежит множеству M, будем использовать обозначение a Ï M.
В различных приложениях дискретной математики чаще всего встречаются конечные множества. Интуитивный смысл этого термина ясен: такие множества содержат конечное число элементов. Число элементов конечного множества A называют мощностью этого множества и обозначают символом Card A или |A|. Наряду с конечными множествами в математике рассматривают и бесконечные множества, то есть такие, которые содержат бесконечно много элементов. Так, например, бесконечно множество натуральных чисел N, множество рациональных чисел Q, множество действительных чисел R.
