 The tensor product space can be defined as the smallest Hilbert space containing all of the product states. Any pure state represented by a state vector that is not a product vector is an entangled state.