왜 이런 정의가 발생했는지, 어떤 테크니컬한 부분이 문제가 되는지는 잘 알려주긴 하는데 그래도 '이딴 걸 누가 생각해낸거지' 하는데는 변함이 없는 듯

수학 이야기) knot group이 유한 생성이 아니지만 topological disk를 bound하는 wild knot in R^3가 존재한다.