不等式（inequality）是用不等號連接的式子。 不等式分為嚴格不等式與非嚴格不等式，用純粹的大於號、小於號連接的不等式稱為嚴格不等式，用不小於號（大於或等於號）、不大於號（小於或等於號）連接的不等式稱為非嚴格不等式，或稱廣義不等式。不等式既可以表達一個命題，也可以表示一個問題。
一般地，用純粹的大於號“>”、小於號“<”連接的不等式稱為嚴格不等式，用不小於號（大於或等於號）“≥”、不大於號（小於或等於號）“≤”連接的不等式稱為非嚴格不等式，或稱廣義不等式。總的來說，用不等號(<,>,≥,≤,≠)連接的式子叫做不等式。
其中，兩邊的解析式的公共定義域稱為不等式的定義域。
整式不等式：
整式不等式兩邊都是整式（即未知數不在分母上）。
一元一次不等式：含有一個未知數(即一元),並且未知數的次數是1次(即一次)的不等式。如3-X>0
同理：二元一次不等式：含有兩個未知數(即二元),並且未知數的次數是1次(即一次)的不等式。
基本性質
①如果x>y，那麼y<x；如果y<x，那麼x>y；（對稱性）
②如果x>y，y>z；那麼x>z；（傳遞性）
③如果x>y，而z為任意實數或整式，那麼x+z>y+z；（加法原則，或叫同向不等式可加性）
④ 如果x>y，z>0，那麼xz>yz；如果x>y，z<0，那麼xz<yz；（乘法原則）
⑤如果x>y，m>n，那麼x+m>y+n；(充分不必要條件)
⑥如果x>y>0，m>n>0，那麼xm>yn；
⑦如果x>y>0，那麼x的n次冪>y的n次冪（n為正數)，x的n次冪<y的n次冪（n為負數）。
或者說，不等式的基本性質的另一種表達方式有：
①對稱性；
②傳遞性；
③加法單調性，即同向不等式可加性；
④乘法單調性；
⑤同向正值不等式可乘性；
⑥正值不等式可乘方；
⑦正值不等式可開方；
⑧倒數法則。
如果由不等式的基本性質出發，通過邏輯推理，可以論證大量的初等不等式。
另，不等式的特殊性質有以下三種：
①不等式性質1：不等式的兩邊同時加上（或減去）同一個數（或式子），不等號的方向不變；
②不等式性質2：不等式的兩邊同時乘（或除以）同一個正數，不等號的方向不變；
③不等式性質3：不等式的兩邊同時乘（或除以）同一個負數，不等號的方向變。總結：當兩個正數的積為定值時，它們的和有最小值；當兩個正數的和為定值時，它們的積有最大值。
不等式（inequality）是用不等號連接的式子。 不等式分為嚴格不等式與非嚴格不等式，用純粹的大於號、小於號連接的不等式稱為嚴格不等式，用不小於號（大於或等於號）、不大於號（小於或等於號）連接的不等式稱為非嚴格不等式，或稱廣義不等式。不等式既可以表達一個命題，也可以表示一個問題。
一般地，用純粹的大於號“>”、小於號“<”連接的不等式稱為嚴格不等式，用不小於號（大於或等於號）“≥”、不大於號（小於或等於號）“≤”連接的不等式稱為非嚴格不等式，或稱廣義不等式。總的來說，用不等號(<,>,≥,≤,≠)連接的式子叫做不等式。
其中，兩邊的解析式的公共定義域稱為不等式的定義域。
整式不等式：
整式不等式兩邊都是整式（即未知數不在分母上）。
一元一次不等式：含有一個未知數(即一元),並且未知數的次數是1次(即一次)的不等式。如3-X>0
同理：二元一次不等式：含有兩個未知數(即二元),並且未知數的次數是1次(即一次)的不等式。
基本性質
①如果x>y，那麼y<x；如果y<x，那麼x>y；（對稱性）
②如果x>y，y>z；那麼x>z；（傳遞性）
③如果x>y，而z為任意實數或整式，那麼x+z>y+z；（加法原則，或叫同向不等式可加性）
④ 如果x>y，z>0，那麼xz>yz；如果x>y，z<0，那麼xz<yz；（乘法原則）
⑤如果x>y，m>n，那麼x+m>y+n；(充分不必要條件)
⑥如果x>y>0，m>n>0，那麼xm>yn；
⑦如果x>y>0，那麼x的n次冪>y的n次冪（n為正數)，x的n次冪<y的n次冪（n為負數）。
或者說，不等式的基本性質的另一種表達方式有：
①對稱性；
②傳遞性；
③加法單調性，即同向不等式可加性；
④乘法單調性；
⑤同向正值不等式可乘性；
⑥正值不等式可乘方；
⑦正值不等式可開方；
⑧倒數法則。
如果由不等式的基本性質出發，通過邏輯推理，可以論證大量的初等不等式。
另，不等式的特殊性質有以下三種：
①不等式性質1：不等式的兩邊同時加上（或減去）同一個數（或式子），不等號的方向不變；
②不等式性質2：不等式的兩邊同時乘（或除以）同一個正數，不等號的方向不變；
③不等式性質3：不等式的兩邊同時乘（或除以）同一個負數，不等號的方向變。總結：當兩個正數的積為定值時，它們的和有最小值；當兩個正數的和為定值時，它們的積有最大值。