Դիտարկենք բոլոր ռացիոնալ թվերի բազմության երկու ոչ դատարկ A և A' բազմությունները։ Մենք կենթադրենք, որ նրանք ունեն հետևյալ դասավորվածությունը․
Այդ բազմություններն առաջացնում են հատույթ, եթե
1․ Յուրաքանչյուր ռացիոնալ թիվ մտնում է A և A' բազմություններից մեկի և միայն մեկի մեջ։
2․ A բազմության յուրաքանչյուր a թիվ փոքր է A' բազմության a' յուրաքանչյուր թվից։
A բազմությունը կանվանենք հատույթի ստորին դաս, իսկ A' բազմությունը՝ հատույթի վերին դաս։ Հատույթը կնշանակենք այսպես՝ A|A'
