Kodaira dimension
一般型 の多様体 X は最大の小平次元を持つ（小平次元は多様体の次元に等しい）。