Понятие множества. При изложении теории множеств мы будем придерживаться так называемой интуитивной точки зрения, согласно которой такие понятия

При изложении теории множеств мы будем придерживаться так называемой интуитивной точки зрения, согласно которой такие понятия, как "множество", "элемент множества", относятся к начальным понятиям математики и поэтому не подлежат определению.

С понятием множества мы соприкасаемся, прежде всего тогда, когда по какой-либо причине объединяем по некоторому признаку в одну группу какие-то объекты и далее рассматриваем эту группу или совокупность как единое целое.

Множества принято обозначать заглавными латинскими буквами. Объекты, которые образуют множество, называют элементами множества и для обозначения элементов используют, как правило, малые буквы латинского алфавита. Если a является элементом множества M, то будем говорить, что a принадлежит множеству M, и использовать запись a Î M, в противном случае, если a не принадлежит множеству M, будем использовать обозначение a Ï M.

В различных приложениях дискретной математики чаще всего встречаются конечные множества. Интуитивный смысл этого термина ясен: такие множества содержат конечное число элементов. Число элементов конечного множества A называют мощностью этого множества и обозначают символом Card A или |A|. Наряду с конечными множествами в математике рассматривают и бесконечные множества, то есть такие, которые содержат бесконечно много элементов. Так, например, бесконечно множество натуральных чисел N, множество рациональных чисел Q, множество действительных чисел R.