https://123dok.net/document/y964k03r-semigroups-whose-idempotents-form-a-subsemigroup.html