滑らかな多様体
更に一般化すると,
リー群