ถ้ารูปเรขาคณิตสองรูปเท่ากันทุกประการ แล้วจะเคลื่อนที่รูปเรขาคณิตรูปหนึ่งไปทับอีกรูปหนึ่งได้สนิท และ ถ้าเคลื่อนที่รูปเรขาคณิตรูปหนึ่งไปทับอีกรูปหนึ่งได้สนิท แล้วรูปเรขาคณิตสองรูปนั้นจะเท่ากับทุกประการ
บทนิยาม รูปเรขาคณิตสองรูปเท่ากันทุกประการ ก็ต่อเมื่อ เคลื่อนที่รูปหนึ่งไปทับอีกรูปหนึ่งได้สนิท