操作性定义的例子