Можна ще більше розширити числове безліч - так, щобоперація ділення над натуральними числами була здійсненназавжди. Для цього введемо поняття дробу.
Звичайної дробом називається число вигляду де m і n - натуральні числа. Число m називається чисельником цього дробу, а число n - її знаменником.
Якщо n = 1, то дріб має вигляд і її часто записують просто m.Звідси, зокрема, випливає, що будь-яке натуральне числопредставимо у вигляді звичайного дробу зі знаменником 1.
Дві дробу і називаються рівними, якщо
Наприклад, так як з цього визначення випливає, що дрібдорівнює будь дробу виду де m - натуральне число. Справді,так як то Отже, ми готові сформулювати наступне правило.