For example, every nonempty finite semigroup is periodic, and has a minimal ideal and at least one idempotent.

• 例如，所有非空有限半群是周期性的，并有一个极小理想和至少一个幂等元。