リーマン多様体
Subharmonic functions can be defined on an arbitrary Riemannian manifold.