Числа раціональні

множина раціональних чисел Q визначається як множина нескоротних дробів із цілим чисельником і натуральним знаменником