Nếu hai hình \(H\) và \(H'\) bằng nhau thì có một phép tịnh tiến biến hình này thành hình kia.

Nếu có một phép tịnh tiến biến hình \(H'\) thành \(H\) thì chúng bằng nhau.

Nếu hai hình \(H\) và \(H'\) bằng nhau thì có một phép đồng nhất biến hình này thành hình kia.

Nếu hai hình \(H\) và \(H'\) bằng nhau thì chúng trùng nhau.