9.1 定义是任意的吗？