We first define two terms.

• 我们首先定义两个名词。