Q ⊂ A {displaystyle mathbb {Q} subset mathbb {A} } Теләһә ниндәй төрлө ике рациональ a {displaystyle a} һәм b {displaystyle b} һандары араһында бер генә булһа ла шундай x {displaystyle x} рациональ һаны бар, a < x {displaystyle a<x} һәм x < b {displaystyle x<b} .