Tương đương năng động và chính thức