关于子类型的描述中，（）是正确的。

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