Hay dos definiciones equivalentes de la noción de grupo fundamental de un grafo de grupos: