https://123dok.com/document/qvjpkrrq-properties-idempotent-reguler-element-semigroup.html