一个定义形式的假设