1: \begin{abstract}

2: %We are interested in monoids generated by two generators of order 2. We show in the case of an involution and an idempotent that when this monoid is finite then it is generated by a single equation (in addition to the two defining the involution and the idempotent). We describe the exact form of this equation and classify its various forms. We recover Kuratowski's theorem as a special case of our study.\\

3: 

4: Monoids generated by  elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids

5: generated by regular operations in language theory and so on. In order to initiate a classification of these monoids, we are interested in the subproblem of monoids, called strict 2-PIMs,

6: generated by an involution and an idempotent.

7: In this case we show, when the monoid is finite,  that it is generated by a single equation (in addition to the two defining the involution and the idempotent). We then describe the exact possible forms of this equation and classify them. We recover Kuratowski's theorem as a special case of our study.

8: \end{abstract}

9: