One can now introduce some useful notions.
我们现在引入某些有用的概念。