สมการ หมายถึงประโยคสัญลักษณ์ทางคณิตศาสตร์ ที่ใช้แสดงว่าสองสิ่งเหมือนกัน หรือเทียบเท่ากัน ที่เชื่อมด้วยเครื่องหมายเท่ากับ ดังตัวอย่างสมการมักใช้เป็นการกำหนดสภาวะความเท่ากันของสองนิพจน์ที่มีตัวแปรอย่างน้อยหนึ่งตัว ตัวอย่างเช่น เมื่อเราให้ค่าใด ๆ กับ x {\displaystyle x} สมการนี้จะเป็นจริงเสมอทั้งสองสมการข้างต้นเป็นตัวอย่างหนึ่งของสมการที่เป็นเอกลักษณ์ ซึ่งหมายความว่า สมการจะเป็นจริงโดยไม่ต้องมีการแทนค่าใดๆ ลงในตัวแปร สำหรับสมการต่อไปนี้ไม่ได้เป็นเอกลักษณ์สมการข้างบนนี้จะไม่เป็นจริงเมื่อแทนค่าอื่นใด แต่จะเป็นจริงแค่เพียงค่าเดียว เราเรียกค่าที่ทำให้สมการเป็นจริงนั้นว่า รากของสมการ สำหรับรากของสมการดังกล่าวคือ 1 ดังนั้น สมการนี้สามารถเป็นจริงได้ ขึ้นอยู่กับค่าของ x {\displaystyle x} เรียก x ที่ทำให้สมการเป็นจริงว่า "คำตอบของสมการ" นั่นคือการแก้สมการจึงเป็นการหาคำตอบของสมการวิธีหนึง เช่น 5 - x = 1 มีคำตอบของสมการ คือ 4