>>600
微分多様体のことを単に多様体って言うこともあるんで。