We got definition, we got name, we got a set of formal parameters.

我们已经进行了定义，我们命了名，我们设置了一些列形参。

麻省理工公开课 - 计算机科学及编程导论课程节选

And in particular, I want to be formal about the definition of best response.

尤其是,我想给出最佳对策的正式定义

耶鲁公开课 - 博弈论课程节选