In the theory of von Neumann algebras, a subfactor of a factor M {\displaystyle M} is a subalgebra that is a factor and contains 1 {\displaystyle 1} . The theory of subfactors led to the discovery of the Jones polynomial in knot theory.