written by @marc_lelarge after this thread.
:::warning
We always assume that the graph we consider is connected (and finite) so that there is always a shortest path between $s$ and $t$.
:::
Recap: Dijkstra's shortest-path algorithm
See Chapter 4 of Algorithms - Sanjoy Dasgupta, Christos H. Papadimitriou, and Umesh V. Vazirani
:::info