Since R-[WTHT]C and B-[WTHT]C both contain [WTHT]C as their full subcategory, a maximal Cartesian closed full subcategory of CONT must be closed with both retracts and bilimits of expanding- sequences.

• 由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。