Kaksi tuntemattomien x1,...,xn yhtälöryhmää ovat ekvivalentit, jos niillä on täsmälleen samat ratkaisut, so. sama ratkaisujoukko... etc.