(matematik, om ett påstående i förhållande till ett annat) som är sant om och endast om det andra påståendet är sant; som är ett nödvändigt och tillräckligt villkor för det andra påståendet; som har samma sanningsvärde
Påståendet "2x+1=7" är ekvivalent med påståendet "x=3".