被保険者 $(x)$ と $(y)$ のうち、一方が生存している限り支払われる年金 $\ddot{a}_{\overline{xy}}$ の定義式はどれか。

生存者環成年金は、それぞれの単独年金の和から両方生存時の重複分を引いて算出する。