Segment Routingにおいて、TI-LFAがバックアップパスを計算する際に使用される「P-Space」の定義はどれか。

P-Spaceは、送信元ノードが障害リンクを通らずに到達できるノードの集合である。