Подмножество

• Включение — отношение между множествами, когда одно множество является подмножеством другого. 
• Множество A является подмножеством множества B, если их пересечение равно A. 
• Множество A является подмножеством B, если их объединение равно B. 
• Множество A является подмножеством B тогда и только тогда, когда их пересечение равно A. 
• Некоторые авторы используют символы ⊂ и ⊃ для обозначения подмножества и надмножества соответственно. 
• Включение является каноническим частичным порядком, изоморфным набору множеств, упорядоченных по включению. 
• Порядок включения возникает как отношение подмножество-включение для некоторой коллекции объектов.