The following definition follows that given by Hovey.
以下的定义遵循Hovey给出的版本。