关于子类型的描述中，（ ）是正确的。(本题2.0分)
A、 子类型就是指派生类是基类的子类型；
B、 一种类型当它至少提供了另一种类型的行为，则这种类型是另一种类型的子类型；
C、 在公有继承下，派生类是基类的子类型；
D、 子类型关系是不可逆的。