О-сеть называется К-плотной, если в ней любое li - сечение и любое со-сечение пересекаются ровно по одному элементу. С учетом теоремы 7.1 это означает, что / ( - плотная сеть не содержит ни одной пары непересекающихся li - сечений и со-сечений. Легко убедиться непосредственно, что сеть на рис. 7.2 / ( - плотна.