不等号

不等号（ふとうごう）は、実数などの大小関係を表すための数学記号・用語である。
より一般的には、順序集合（例: 整数、実数）の2つの要素の間の順序（大小ともいう）を表す。

**概要**
順序集合の二つの元は、等しいか、片方が他方より大きいか、等しくなく大小関係がないか、のいずれかである。 2つが等しい場合は等号（=）を使い、2つに大小関係がある場合にのみ不等号を使う。
等しくなく、大小関係がない、あるいは問題としないときには否定等号（≠）を使う。否定等号は「不等」を表す記号ではあるが、大小関係がなくとも使える（例: 複素数）ので、大小を表す記号とは性質が異なり、不等号には含めないことがある。
不等号は等号と同様に中置し、左辺と右辺の間の順序を表す。
等号を含む等式と同様、不等号を含む式を不等式と呼ぶが、等号を含む条件式が方程式と呼ばれるのに対し、不等号を含む条件式も不等式と呼ばれる｡

**基本的な不等号**

**単純な不等号**
「A  B」は「左辺(A)が右辺(B)より大きいこと」を示す。
これらの記号の初出は1631年発刊トーマス・ハリオット『演習解析術』（死後発刊）である。
日本語の読みは文部科学省により「A  B」を「〜(A)は〜(B)より大きい」と読むように指導されているが、長い不等式を読み下す場合などには「A  B」を「(A)大（だい）なり(B)」と読まれる。
プログラミングでは「LT (less than)」「GT (greater than)」と呼ぶこともある。

**使用例**
 （2は3より小さい／2小なり3）、（3は2より大きい／3大なり2）

**等号付き不等号**
（いずれでも意味は同じ）は左辺が右辺より小さいか等しい（a  の「(等号を含まない)不等号」を先に導入するが、数学一般においては等号を含めた「≦」を先に定義する方が自然な場合が多く、「less than or equal to)」「GE (greater than or equal to)」と呼ぶこともある。

**使用例**
 （0はa2 以下／0小なりイコールa2）、（a2 は0以上／a2 大なりイコール0）

**発展的な用法**
「a  a」、「a ≦ b」と「b ≧ a」は、それぞれ全く同じ意味である。
3辺の不等式 a 」「≥」「=」でも同様の表現ができる。
ただし、「」「≧」が混ざることは（推移律が成り立たず実用性が乏しいので）まれである。

**区間**
3辺の不等式は変数の含まれる区間を表すのによく使われる。
  は  に等価
  は  に等価
  は  に等価
  は  に等価

**派生記号**

**複号**
記号の組合わせ方として複号同順を指定した式では、「≶」「≷」「⪋」「⪌」「≦」「≧」「⪙」「⪚」もしくは「≶」「≷」「⋚」「⋛」「≤」「≥」「⋜」「⋝」が使われる。
ただし「≤」「≥」「≦」「≧」は以下・以上と紛らわしいので、「複号同順」や「等号は同時にのみ成り立つ」、「不等号の向き同順」等の但し書きを添えることが多い。
1つの論述の中に複数の複号同順を表す不等号を同時に用い、複号同順を表す不等号の上部および下部のそれぞれ（「⋚」、「⋛」の場合は上部、中央、下部のそれぞれ）で文が成り立つ場合に用いる。また、「±」および「∓」と共にも用いられる。
1つの式だけで使われることは稀で、「〜ならば〜」「〜のとき〜」「〜とすると〜」などと複数の式にまたがり使われることが多い。
正負の複号と違い、1回使われるだけでは意味を成さない。「どちらかが成り立つ」（x = ±1 : x = 1 または x = −1）のような用法は、等号付き不等号でのみ使われる。
日本では、「⪋」「⪌」と中央をイコールの2本線で表記する場合が多いが、欧米では「⋚」「⋛」と1本線で表す場合が多い。

**使用例**
  （ (a  b > c) ）
  ならば   （（a  b ならば x + a > x + b） ）
  ならば   （（a  b ならば x + a > x + b））
  で  ならば   （ (a2 = 4 で a > 0 ならば a = 2) であり (a2 = 4 で a  で表される。- ほとんどの言語で、等号付き不等号は = で表される。- プログラミング言語においては、不等式は左辺と右辺を引数にとる二値集合(真偽値の集合)への関数として定義されることが多い。- Python のような例を除けば、 a  が、C言語やPythonでは != が、否定等号（≠）として使われる。- PerlやRubyなどでは、 は、左辺が右辺より大きければ 1、小さければ −1、等しければ 0 を返す演算子である。
不等式以外に使われる不等号は、次のようなものである。- 主にASCII環境で、 を山括弧（‹…› や〈…〉）の、 や  を矢印（← →）の代用に使う。不等号以外の用法は、これらから発展したものが多い。- C言語、Java、Perlなど多くの言語で、> はビットシフト演算子である。- C++では、> は（ビットシフト演算子でもあるが）ストリームへの入出力の演算子でもある。- C++では、テンプレートに与える引数を、 のような形で表記する。- C言語、Perl、PHPなどでは、-> はメンバ演算子である。アロー演算子とも呼ばれる。- UnixやMS-DOSではリダイレクトを表す。 は標準出力、2> は標準エラー出力、>> は標準出力を追記、等の種類がある。- Perlでは、$ はプロセス実行ユーザIDを表す。
*Perl、Ruby、PHPなどでは、連想配列のキーと値を=>で区切る。- XMLやHTMLなどのSGMLでは、 と括弧のように使い、タグを表す。- 多くのコマンドインタプリタで、> はコマンドプロンプトに使われる。- 多くのチャットシステムで、発言の前に発言者のハンドルと > を付ける。「ハンドル >」の形のコマンドプロンプトから発展したものである。- 電子メールや電子掲示板で、> が引用符として、引用各行の行頭につけられる。古くはタブを使っていたが、ネストするとタブが連続することになるので、表示桁数節約のために > を使うようになった。- チャットや電子掲示板で、> や >> のあとにハンドル、人名、レス番等を書き、その人物やレスへの発言であることを表す。元はリダイレクト構文に由来し、1行発言の後に「Hello > john」のように使った。現代のスレッドフロート型掲示板では、レスの冒頭に「>>レス番改行」と書くか、文中に「>>レス番は〜」などと書く。- 人名の後に＜（通常全角）を付け、その人物の発言であることを表す（通常は実際の発言の引用ではなく代弁やジョークとして）。漫画のふきだしに由来する。- ロジックパズル『不等号』　並べられた枡の境界線に配置された不等号を手がかりにして枡に当て嵌まる数字を推理する『数独』に似たパズル。- PowerShell、C#、Lua、PHP、Ruby、Pythonなど、多くのプログラミング言語において、ヒアドキュメントの変数への代入、もしくは開始を示す記号として、が用いられる。

**その他**
 日本語の文章では、括弧の一種「山括弧」として用いられることがある。

**文字実体参照**
HTMLでは不等号はタグを表すため、ASCII文字であるにもかかわらず文字実体参照 &lt; () がある。
等号付き不等号にも文字実体参照 &le; (≤) と &ge; (≥) がある。これらは U+2264 と U+2265 の、等号が一本線の等号付き不等号に変換される。

**符号位置**

**出典 ==