This definition will be used for any pair of operators.

• 这个定义适用于任意一对算符。