Свойства подмножеств

1. Рефлексивность. Множество А является подмножеством множества А:

. (2)

2. Транзитивность. Если множество А является подмножеством множества В, а множество В является подмножеством множества С, то множество А является подмножеством множества С:

(3)

3. Принцип объемности. Если множество А является подмножеством множества В, а множество В является подмножеством множество А, то множество А равно множеству В:

(4)