Пересече́ние мно́жеств в теории множеств — это множество, которому принадлежат те и только те элементы, которые одновременно принадлежат всем данным множествам.
Пусть даны два множества и . Тогда их пересечением называется множество
Гораздо реже используется обозначение .
Пусть Тогда