From Product Hilbert Spaces to the Generalized Koopman Operator and the Nonlinear Fundamental Lemma