Entonces el grupo fundamental de "A" con respecto a "T", denotado por formula_23, es definido como el cociente del producto libre de grupos