Hai biểu thức E1 và E2 tương đương với nhau, nếu:

Chúng biểu diễn cùng một ánh xạ

Các quan hệ giống nhau trong biểu thức

Các kết quả giống nhau

Các quan hệ trong các biểu thức cùng miền xác định