Понятие множество относится к исходным понятиям математики. Оно обозначает набор, совокупность каких-либо обьектов, называемых элементами множества. Если элемент «а» встречается в наборе, представляющем данное множество А, говорят, что элемент принадлежит данному множеству а принадлежит А.

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

Множество U называется универсальным, если для любого множества А называется условие А включается в U