Сячэннем у мностве рацыянальных лікаў Q {displaystyle mathbb {Q} } называецца ўсякая разбіўка сукупнасці ўсіх рацыянальных лікаў на два непустыя падмноствы, ці класыxa0— ніжні A {displaystyle A} і верхні A ′ {displaystyle A} , так што кожны лік з ніжняга класа строга меншы за любы лік з верхняга: Q = A ∪ A ′ ∧ A , A ′ ≠ ∅ ∧ ∀ a ∈ A , ∀ a ′ ∈ A ′ xa0 ( a < a ′ ) {displaystyle mathbb {Q} =Acup Aqquad land qquad A,Aneq varnothing qquad land qquad forall ain A,forall ain A (a<a)} Калі існуе лік α {displaystyle alpha } , які зяўляецца найбольшым у ніжнім класе, альбо найменшым у верхнім класе, то гэты лік раздзяляе мноствы A {displaystyle A} і A ′ {displaystyle A} : лікі ніжняга і верхняга класаў ляжаць па розныя бакі ад α {displaystyle alpha } .