конструкція з математичного аналізу, за допомогою якої надається математично строге визначення дійсних чисел