クラスの継承関係において、List は List のサブタイプであるか。

いいえ、ジェネリクスは不変(Invariant)であるためサブタイプではない