Defines a partitioning of states. Typically used to represent equivalence classes for Fst operations like minimization. -Defines a partitioning of states. Typically used to represent equivalence classes for Fst operations like minimization.