等式

等式（とうしき、）とは、二つの対象の等価性・相等関係を表す数式のことである。
導入.
等式は等号 formula_1 によって、二つの対象 formula_2 の間の二項関係として以下のように表す：
このとき、左辺 formula_4 と右辺 formula_5 は等しいという。
等式が成り立たないことを記号的に示す際、等号否定 formula_6 を用いて以下のように表す：
このとき、左辺 formula_4 と右辺 formula_5 は等しくない、あるいは異なるという。
通常、等号は以下の２つの公理によって定義される：
さらに、代入原理と反射律から以下の性質が導かれる。
このように、相等性は反射律、対称律、推移律を満たすため、相等性は同値関係の一種であり、また「相等性とは代入原理を満足する同値関係のことである」と言っても（冗長だが）定義と同じことである。等式は数学において最も基本的な同値関係を与えるものであると見ることができる。
ここで、見かけ上異なるものが等しいものを表したり、表記の都合などから見かけ上同じに見えるものが別の対象を指し示したりすることがあるため、何かが等しいというためには各辺にどのような対象をとるか、対象が何者であるかということを明確にしなければならないということを意識する必要がある。場合によっては相等といわず、同値、同型、合同などと呼んで、等号の代わりにそれぞれ特有の記号を用いることもある。
代入原理はもう少し一般に、対象 "a""i", "b""j" が、
であるならば、"l" 個の自由変数 "x"1, "x"2, ..., "x""l" を持ついかなる命題関数 "P"("x"1, "x"2, ..., "x""l") に対しても
が成り立つ、という形に述べることもある。これは命題関数 "P"("x") において自由変数 "x" が複数回現れるとき、命題 "P"("a") に現れる "a" の一部をそれと等しいもので置き換えてもよいことを含意している。なんとなれば、全ての "i" について "a""i" = "a" で、いくつかの "j" について "b""j" = "b" かつそれ以外の "j" について "b""j" = "a" と置いてみるとよい。
算術.
初等・中等教育においては、上記３つの公理を「等式の性質」としてとらえ　反射性・対称性・推移性に、斉一性を加えた４つの性質を用いて、等式の操作を行う。
斉一性とは、四則演算について、"a", "b", "c" を勝手な定数として、"a" = "b" であるならば、等式
が辺々がともに定義可能である限りにおいて成り立つことをいう。
これは"P(x)" = {"x" ± "c"="a" ± "c"},"P(x)" = { "xc"="ac"}, "P(x)"={"x"/"c"="a"/"c"} なる命題関数によって代入原理から導かれる。これらを総称して、等式変形と呼ぶ。
となることは複号同順で
となることに同値であることが従う。
これは見かけ上、一方の辺における一部の項を、符号を変えて他方の辺に移す操作に見えることから、この等価な 2 式の一方を他方に入れ替えることを移項（いこう、transpose）と呼ぶ。