不等式：

一般地，用純粹的大于號“>”、小于號“<”連接的不等式稱為嚴格不等式，用不小于號（大于或等于號）“≥”、不大于號（小于或等于號）“≤”連接的不等式稱為非嚴格不等式，或稱廣義不等式。總的來說，用不等號(<，>，≥，≤，≠)連接的式子叫做不等式。

通常不等式中的數是實數，字母也代表實數，不等式的一般形式為F(x，y，……，z)≤G(x，y，……，z ) （其中不等號也可以為<，≤,≥，> 中某一個），兩邊的解析式的公共定義域稱為不等式的定義域，不等式既可以表達一個命題，也可以表示一個問題。

基本性質：

①對稱性；

②傳遞性；

③加法單調性，即同向不等式可加性；

④乘法單調性；

⑤同向正值不等式可乘性；

⑥正值不等式可乘方；

⑦正值不等式可開方；

⑧倒數法則。

傳遞性：

傳遞性是在邏輯學和數學中，若對所有的 a，b，c ∈X，下述語句保持有效，則集合 上的二元關系 R 是傳遞的：「若a 關系到 b 且 b 關系到 c， 則 a 關系到 c。」

這個應用的目的是演示不等式傳遞性的計算方法。使用的時候，按大小順序，依次輸入 A， B， C的值。

不等式傳遞性

如果 a > b and b > c; 那么 a > c

如果 a < b and b < c; 那么 a < c

如果 a > b and b = c; 那么 a > c

如果 a < b and b = c; 那么 a < c