等式成立意味著構成等式的兩個表達式在數學上被證明為相等。等式通常由一個等號（=）連線兩個表達式或數值，表明它們在所有情況下都相等。等式可以包含未知數，這時它們被稱為含有未知數的等式。等式的性質包括：
加法性質：如果a=b，那麼a+c=b+c。
乘法性質：如果a=b，那麼a·c=b·c（c不為0）。
乘方性質：如果a=b，那麼a^n=b^n（n為正整數）。
等式具有傳遞性，即如果a1=a2, a2=a3, a3=a4，那麼a1=a2=a3=a4。等式可以是恆等式，這意味著無論變數取何值，等式都成立。例如，x+1=3是一個含有未知數的等式，儘管它無解，但仍然是一個有效的等式。等式的兩邊可以同時加上或減去同一個整式，或者同時乘或除以同一個不為0的整式，等式仍然成立。