In the meantime, it is proved that each orthodox semigroup with an inverse transversal can be constructed in this way.

• 同时证明了每个具有逆断面的纯正半群都可以如此构造。