Если каждый элемент множества А является элементом множества В, то:
- множества А и В равны
- множества А и В состоят из одних и тех же элементов
- множество А является подмножеством В
- множество В является подмножеством А