Congruences for stochastic automata are defined, the corresponding factor automata are constructed and investigated for automata over analytic spaces. We study the behavior under finite and infinite streams. Congruences consist of multiple parts, it is shown that factoring can be undertaken in multiple steps, guided by these parts.
