もしBが定数関数B(x)=C{\displaystyleB(x)=C}であるなら、依存積型は通常の関数型(矢印型)A→C{\displaystyleA\toC}となる。
若B为常数，则依赖值对类型退化为一般的乘积类型，即笛卡尔积A×B{\displaystyleA\timesB}。