多选题 类型一致性原则要求子类S必须为类T的真子类型，并且满足6个限制条件，以下适用于所有类的是(    )。
   A．S的状态空间(state-space)必须与T的状态空间一致
   B．S.op必须与T.op名称相同
   C．S.op的前置条件必须等同于或弱于T.op的前置条件
   D．S.op的后置条件必须等同于或强于T.op的后置条件