Hai biểu thức E1 và E2 tương đương với nhau, ký hiệu là E1 = E2, nếu:

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

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

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.