【正确答案】 1、S的状态空间(State-space)必须与T的状态空间一致(但S可以拥有额外空间以延伸T的状态空间)、在S和T的共享空间中，S的状态空间必须等同于或位于T的状态空间之内。对于T的每一操作(如T.op)，S覆盖或重定义为S． op，则：S． op必须与T． op名称相同、S． op的形式函数原型的参数必须与T.op的形式函数原型的参数表一一对应、S． op的前置条件必须等同于或弱于T.op的前置条件、S． op的后置条件必须等同于或强于T． op的后置条件