A DFA induces a finite compatible right-invariant relation. Every such relation refines the relation of identical future behavior. If that canonical relation has finite index, its equivalence classes form a quotient DFA recognizing the language.