等式
さらに、代入原理と反射律から以下の性質が導かれる。
対称律: 対象 a, b について a = b が成り立っているときはいつでも b = a も同時に成り立つ。
推移律: 対象 a, b, c に対して a = b と b = c が同時に成り立っているときには常に a = c も同時に成り立つ。
このように、相等性は反射律、対称律、推移律を満たすため、相等性は同値関係の一種であり、また「相等性とは代入原理を満足する同値関係のことである」と言っても(冗長だが)定義と同じことである。等式は数学において最も基本的な同値関係を与えるものであると見ることができる。
ここで、見かけ上異なるものが等しいものを表したり、表記の都合などから見かけ上同じに見えるものが別の対象を指し示したりすることがあるため、何かが等しいというためには各辺にどのような対象をとるか、対象が何者であるかということを明確にしなければならないということを意識する必要がある。場合によっては相等といわず、同値、同型、合同などと呼んで、等号の代わりにそれぞれ特有の記号を用いることもある。
代入原理はもう少し一般に、対象 ai, bj が、