Универсальное –множество, содержащее все возможные элементы. Универсальное множество обозначаетсяU

Утверждение " а является элементом множества А " записывается в виде а Î А (а принадлежит множеству А).

Утверждение " а не является элементом множества А " записывается в виде а Ï А (а не принадлежит множеству А).

Множества А и В называются равными (обозначается А = В), если они состоят из одних и тех же элементов.

Если каждый элемент множества А является также элементом множества В, то говорят, что А содержится или включается в В.

В этом случае пишут А Í В.

Множество A называется подмножеством множества B, если .

В тех случаях, когда одновременно имеют место соотношения и A ¹ B, говорят, что A строго включается в B, и используют запись A Ì B.