Множество А содержится во множестве В (множество В включает множество А, множество А является подмножеством В), если каждый элемент множества А является элементом множества В. Обозначение: А
В.
А
В
х
А
х
В.
Два множества называются равными, если они являются подмножествами друг друга. Обозначение: А=В.
А=В
А
В и В
А.
Если непустое множество А является подмножеством В и множества А и В не являются равными, то А является собственным подмножеством В.
Пример: М={4, 6, 8, 10}, К={6, 8}; К
М, М
К, М
К, К – собственное подмножество М.
Для множеств существует понятие мощность. Для конечных множеств мощность совпадает с количеством элементов.
Пример: |
|=0, |{
}|=1, |{1, 2, 3, 4}|=4.






