The mirror image of a knot is the knot whose diagram obtained by changing all the crossings in a diagram of . This notion is well defined since Reidemeister moves are preserved under mirror images.