تگ: نظریه نیم‌گروه‌ها