帮忙解释下一个句话~~~

Question

关于多态方面书上的一句话不是很理解，请帮忙解释下，谢谢~~~对于多态的行为，派生类的方法的返回对象类型必须与基类中对应的相同，或者必须是该基类类型的子类的类型。当返回对象类型不同，但派生类的方法的返回对象类型是基类的返回对象类型的子集时，这时返回类型称为协变的。什么是返回对象类型的子集？？下面一个朋友的解答：

Answer 1

就是子类里重写父类的方法的返回值类型是父类这个方法返回值类型的子类List就是返回List型，List是个接口
ArrayList就是实现了这个接口的类，并增加了一下方法，也就是List的子集

Answer 2

那换个简单点的例子
public class A{
public Object getO(){}
}
public class B extends A{
public String getS(){}
}