7.4. Транзитивность отношения «не шире – не уже» между базисами

Пусть первый базис находится в отношении не уже чем второй, а тот, в свою очередь, не уже чем третий.

Тогда и первый не уже третьего, что очевидно в силу содержания в не менее узком базисе дополнительных переменных, а потому это можно назвать свойством транзитивности отношения «не шире – не уже» между базисами. █

Назад Вперёд