Two fractions and in the localization are defined to be equivalent if there exists an element in the multiplicatively closed set such that . This relation ensures that the fractions represent the same element in the localization.
Conditions: is a commutative ring.; is a multiplicatively closed subset.; and .