「$x$ 歳定年、$y$ 歳開始の年金」の現価計算において、定年前の脱退(退職)を考慮する場合の名称は。

年金をもらうためには「定年まで在職していること」が条件となるため、在職確率を含む現価を用いる。