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