The finite classes of the relation \(\approx_{\mathcal A}\) generate finitely many products UV to the omega. Saturation places each product entirely inside or outside the language, while the Ramsey decomposition covers every infinite word. The complement is therefore a finite union of omega-regular products.