IV 定义和假定