رض کنید $X$ یک مشبکهی برداری و $Y$ یک زیرمشبکه از $X$ باشد. فرض کنید $overline{Y}^{circ} $، بستار ترتیبی $Y$ باشد که شامل تمام حدود ترتیبی تورهایی در $Y$ میباشد و $overline{Y}^{ucirc}$، بستار ترتیبی بی کران $Y$ باشد که شامل تمام حدود ترتیبی بی کران تورهایی در $Y$ است. $ و...