Java导出类型是什么？

《Java编程思想》第四版中，有这个概念，基类，导出类
基类：父类
导出类：子类
在讲泛型的时候，讲到了，如果泛型指定为基类，那么导出类也可以使用

package com.test;

public class Test<K> {
	public static void main(String[] args) {
		Test<Father> te = new Test<Father>();
		Son son = new Son();
		// 可以
		te.sys(son);
		Son2 son2 = new Son2();
		// 报错!!
		te.sys(son2);
	}

	public void sys(K k) {
		System.out.println(k);
	}
}

class Father {

}

class Son extends Father {

}
// 不是Father导出类（子类）
class Son2{
	
}