... if it is reflexive, and transitive. Itis a partial order if it is reflexive, transitive, and antisymmetric. And it is an equivalence relation if it is reflexive, transitive, and symmetric.Given ... Netherlands, pp. 1–16.2 J´ER´EMIE CABESSA, JACQUES DUPARCrecognizing a regular language L, one can build a finite semigroup SArecognizing (in an algebraic way) the same language, and vice-versa[PerPin04]. ... other words, an algebraicway of classifying Borel sets. A very promising approach.References[And03] Alessandro Andretta, Equivalence between Wadge and Lipschitz deter-minacy, Annals of Pure...