数学における比例（ひれい、）している、もしくは比例関係（ひれいかんけい、）にあるとは、変数を用いて書かれる二量の関係の内、一方が他方の定数倍であるような関係にあるということである。
以下、本記事では2つある内の変数の一方を変数 （省略し と表す）とし、他方を変数 （省略し と表す）とする。
また、 が の定数 倍であるとし、このときの定数 を比例定数（ひれいていすう、） という。以下、比例定数 と表現する。そして、このとき と と比例定数 を用いた、
という方程式が成り立つ。
様々な比例
正比例の定義 変数を用いて書かれる二量の一方が他方の定数倍である、つまり、
と が、 でない比例定数 を用いた
という方程式で書くことができるとき、 は に正比例（せいひれい、）している、もしくは正比例関係（せいひれいかんけい、）にあるという。
が に正比例しているときに を に関する式で表すと
となる、よって、 が に正比例するとき、 が に正比例すると分かる。また、後者の比例定数は前者の比例定数 の逆数であるとなる。
そして、特に比例定数 の具体的な値に言及する必要の無いときなどは
と、比例記号 ∝（U+221D）を用いて書くこともある。
比例関係は同値関係の一つである。実数や複素数のように結合的な可除代数においては、比例による同値関係は 0以外の元を全て一つの類に分類してしまうが、（次元が 2以上の）線形空間に対しては幾何学が展開されるような豊かな構造をもつ同値類集合を形作る（射影空間と呼ぶ）。
反比例の定義 が の逆数に正比例する、つまり
という方程式が常に成り立つとき、 は に反比例するという。このとき同時に、 は に反比例するともいえる。
二乗比例の定義 が の自乗に正比例する、つまり
とき、 は に二乗比例するという。
指数比例、対数比例の定義 が の指数関数に比例する、つまり
とき、 は に指数比例する、 は に対数比例するという。ただし逆に、 は に対数比例する、 は に指数比例するということもある。
正比例の性質 となるため、の比の値はで常に一定である。（定義より） が 倍になれば、それに伴い、 も 倍になる。（必要十分条件から） 正比例の方程式、と一次関数の基本式、を比較すると、正比例の関係は、一次関数の定数が0の特殊な場合であるとわかる。よって、変数 と変数 直交座標を取ってグラフにすれば、そのグラフは原点を通過する直線を描くことがわかる。また、その線形関数を微分するととなる。 との相互相関関数は、比例係数の符号（||）に等しい。 が 増えれば、 は 増える。 比例関係の例 長方形の面積は、縦の長さを一定にしたとき、横の長さに比例する。 等速直線運動では、速さが一定であるとき、移動距離は経過時間に比例する。 固定抵抗器を流れる電流は、電圧に比例する。（オームの法則より） 圧力が一定であるとき、気体の体積は温度（絶対温度）に比例する。（シャルルの法則） 物体が全てエネルギーに変換される時、そのエネルギーは物体の質量に比例する。（相対性理論より） 固有名がついている比例定数 力学の係数 摩擦係数 反発係数（はねかえり係数） ばね係数（弾性係数） 物性物理学の係数 熱伝導率、電気伝導率（電気伝導参照）など多数存在 原子物理学の係数 崩壊定数 吸収係数 その他
など
関連項目 正比例 反比例 二乗比例 指数比例 対数比例 一次関数 線形代数、線形性、線形写像 微分係数