for G being _finite real-weighted WGraph
for s being Vertex of G holds dom ((DIJK:SSSP (G,s)) `1) = G .reachableDFrom s