С другой, встречаются бабайки типа: "Линейно связное топологическое пространство называется односвязным, если фундаментальная группа для Х тривиальна."
И ещё чудеснее: "Односвязность является гомотопическим инвариантом, то есть гомотопически эквивалентные пространства либо оба односвязны, либо оба не односвязны."
Первое на человеческом языке означает: "Односвязное пространство - там, где нет дырок", а второе для меня загадка.
