Множество А является подмножеством множества В, если каждый элемент множества А принадлежит множеству В.
В этом случае пишут , знак называют знаком включения.
Например: {2, 4,} < {4, 2, 6}
если множество А является подмножеством множества В и множество В является подмножеством множества С, то из этого следует, что множество А является подмножеством множества С.