ഗണിതശാസ്ത്രത്തില്, രണ്ട് [[വ്യഞ്ജകം (ഗണിതം)|വ്യഞ്ജകങ്ങള്]] തുല്യങ്ങളാണെന്ന് കാണിക്കുന്ന പ്രതീകാത്മമകപ്രസ്താവനയാണ് '''സമവാക്യം''' അഥവാ '''സമീകരണം''' (Equation) എന്നറിയപ്പെടുന്നത്.
സമീകരണം സംഖ്യകള് മാത്രമുള്ളതോ, അക്ഷരങ്ങള് അടങ്ങിയ ബീജീയസമതയോസമതയോ ആവാം. ഒരു സമവാക്യത്തില് തുല്യത കാണിക്കുന്നതിനായി, = എന്ന സമചിഹ്നം ഉപയോഗിക്കുന്നു. ഉദാഹരണത്തിന് 2 + 3 = 5 എന്നത് സാംഖ്യികസമതയാണ് (Numerical Equation); x(x − 1) = x<sup>2</sup> − x എന്നത് ഒരു ബീജീയസമതയുംസാക്ഷരസമതയും (Literal Equation) ആണ്. വാസ്തവികസംഖ്യാഗണത്തിലെ ഏതൊരംഗത്തിനും ഈ പ്രസ്താവന ശരിയാണ്. അതുകൊണ്ട്, ഈ സമവാക്യം ഒരു [[സദാസത്യസമകം]] (Identity) കൂടിയാണ്. എന്നാല്, x<sup>2</sup> − x = 0 എന്ന സമത പരിഗണിച്ചാല്, 0,1 എന്നീ രണ്ട് വിലകള് ഒഴിച്ച്, മറ്റൊരു സംഖ്യക്കും ഈ സമത സത്യമല്ല എന്നു കാണാം. അതിനാല് ഇതൊരു സദാസത്യസമകംസദാസത്യസമത അല്ല; ഒരു സമവാക്യം മാത്രമാണ്. ഒരു സമവക്യത്തില് ഒന്നിലധികം ചരങ്ങള് ഉണ്ടാവാം.