Cтраница 2
Однако есть несколько основополагающих понятий, которые следует здесь привести. Множество, которое не является независимым, называется зависимым, а минимальное ( относительно теоретико-множественного включения) зависимое множество называется циклом. Из субмодулярности ранговой функции легко вывести, что каждое множество X имеет единственное наибольшее подмножество с таким же рангом, как и у множества X; это надмножество называется замыканием множества X. X приводит к множеству с большим рангом. [16]