Porządkowe prawo skreśleń dla zbiorów wypukłych w przestrzeni skończenie wymiarowej, tj. kiedy z zawierania się zbioru A+B w B+C można wywnioskować, że A zawiera się w C