A path-connected space is simply connected exactly when its fundamental group is trivial.Suggest a slogan
Let \(X\) be a path-connected space. Then \(X\) is simply connected if and only if \(\pi_1(X, x_0) = 1\) for some, equivalently every, basepoint \(x_0\in X\) [@Hat02].