Отношения между множествами

Если множества A и B имеют общие элементы, т.е. элементы, принадлежащие одновременно и А, и В, то говорят, что эти множества пересекаются. Записывают это .

Множество В является подмножеством множества А, если каждый элемент множества В является также элементом множества А. Записывают это

Пустое множество считается подмножеством любого множества.

Любое множество является подмножеством самого себя.

Множества А и В называются равными, если

Из определения равных множеств следует, что равные множества состоят из одних и тех же элементов и порядок записи элементов множества не существенен.

Отношения между множествами наглядно представляют при помощи особых чертежей, называемых кругами Эйлера.