The Reidemeister Theorem tells us that { k n o t s } = { k n o t d i a g r a m s } / < R 1 , R 2 , R 3 > {\displaystyle \{knots\}=\{knot\;diagrams\}/<R1,R2,R3>} .