Можна ще більше розширити числове безліч - так, щобоперація ділення над натуральними числами була здійсненназавжди. Для цього введемо поняття дробу.


 
Звичайної дробом називається число вигляду де m і n - натуральні числа. Число m називається чисельником цього дробу, а число n - її знаменником.



Якщо n = 1, то дріб має вигляд і її часто записують просто m.Звідси, зокрема, випливає, що будь-яке натуральне числопредставимо у вигляді звичайного дробу зі знаменником 1.


 
Дві дробу і називаються рівними, якщо



Наприклад, так як з цього визначення випливає, що дрібдорівнює будь дробу виду де m - натуральне число. Справді,так як то Отже, ми готові сформулювати наступне правило.