>>286
Uが離散的な集合だったりしたらどうすんの?