Abstract:
Characteristic matrices and metrics of equivalence systems are studied that help give an efficient description of conjunctions of equivalence systems. Using these results, families of correct polynomials in the algebraic approach to classification are described.