The matrices { B i } are called Kraus operators. (Sometimes they are known as noise operators or error operators, especially in the context of quantum information processing, where the quantum operation represents the noisy, error-producing effects of the environment.) The Stinespring factorization theorem extends the above result to arbitrary separable Hilbert spaces H and G. There, S is replaced by a trace class operator and { B i } by a sequence of bounded operators.