نیم‏گروه مشتق‏پذیر

نیم‏گروهی مرکب از عملگرهای بی‌نهایت‏بار مشتق‏پذیر