A definição 5 de Euclides sobre proporções estabelece que duas razões são iguais quando grandezas equimultíplices da primeira para a segunda são ou maiores, iguais ou menores do que grandezas equimultíplices da terceira para a quarta. Segundo Boyer, a definição de Eudoxo sobre igualdade de razões é semelhante ao processo moderno de multiplicação cruzada de frações, no qual a/b = c/d se e somente se ad = bc.