Due frazioni sono equivalenti se il prodotto del numeratore della prima per il denominatore della seconda è uguale al prodotto del denominatore della prima per il numeratore della seconda.
a\b e c\d ⇒ a·d= b·c
Per esempio:
3\5 e 6\10 3·10 = 5 · 6
Un’altra definizione può essere:
Due o più frazioni si dicono equivalenti se, operando con esse su una stessa grandezza, si ottengono grandezze congruenti.
Consideriamo le frazioni 1\2, 2\4 e 4\8 ed operiamo con esse su una stessa grandezza.
Dalla definizione di queste frazioni ricaviamo la proprietà invariantiva.