Definition:Simply Connected
From ProofWiki
Definition
A path-connected topological space $X$ is said to be simply connected if the fundamental group $\pi_1 \left({X}\right)$ is trivial.