>>14
点付き集合は、なんのことはない、集合Xとその中の点xとの組(X,x)のことだよ。