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