Множество В включается в множество А, если каждый элемент множества В является так же элементом множества А. В – подмножество (часть) множества А.
Из определения включения следуют свойства этого отношения:
- Всякое подмножество включается в себя, т.е. для всякого А включенного в А это называется рефлективностью.
- Для любых множеств А, В, С, если А включает С, а С включает В, то А включает В
- Любое пустое множество может включаться в любое множество.
Два множества А и В называются равными, если А включает В, а В включает А. т.е. если множества А и В состоят из одних и тех же элементов.
