Dua sistem linier yang menggunakan himpunan variabel yang sama adalah ekuivalen jika setiap persamaan pada sistem kedua dapat diturunkan secara aljabar dari persamaan pada sistem pertama, dan sebaliknya.