نیم گروه آزاد

نیم‌گروهی که حاصل‌ضرب آزاد تعدادی متناهی نیم‌گروه دوری نامتناهی است