一个叫joint的构造：X1○X2:=X1×[0,1]×X2/{(x1,0,X2)，(X1,1,x2)}，那个商的表述可能不大规范，但书上的原话是“把所有(x1,0,X2)或(X1,1,x2)这样的点集都分别当作一点”，然后有一个例子——S1○S1=S3，可我总觉得这个是错的，要么就是定义理解错了。求个解释。照例先谢谢大家。