Ligning som sier at to forhold er like store, f.eks. 12 : 8 = 33 : 22. En proporsjon a : b = c : d kan skrives eller ad = bc. Hvis a : b = b : d eller b =√ad, sies b å være mellomproporsjonalledd mellom a og d.
To størrelser som varierer samtidig, sies å være proporsjonale hvis forholdet mellom tilsvarende verdier alltid er det samme: Dette felles forholdstallet k kalles proporsjonalitetsfaktoren. I to likedannede figurer er f.eks. tilsvarende sider proporsjonale. Når en partikkel beveger seg med konstant hastighet, er de veistykkene som blir tilbakelagt, proporsjonale med den tiden som er brukt; partikkelen går f.eks. i tre ganger så lang tid en tre ganger så lang vei. I alminnelighet sies størrelsene x og y å være proporsjonale hvis y = kx og omvendt proporsjonale hvis xy = k.