in arithmetic and geometry, is that relation of homogeneous things which determines the quantity of one from the quantity of another, without the intervention of a third. See Arithmetic, Algebra, and Geometry.