In this definition, we have one term which we know.

在这个定义中，我们有一项是已知的。