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\}/\left\langle R1,R2,R3\right\rangle } .
