(Algebraic) Equation ข้อความที่แสดงความเท่ากันของนิพจน์ 2 นิพจน์ เฉพาะบางค่าของตัวไม่ทราบค่าที่ปรากฏในนิพจน์นั้นๆ หรือการเหมือนกันของข้อความย่อย 2 ข้อความที่ปรากฏอยู่ทางด้านซ้ายและด้านขวาของเครื่องหมาย =