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