简述马尔科夫预测法中状态划分必须满足的性质。