(U may also be unbounded, but in this case its boundary, if it exists, must be sufficiently well-behaved.)
（U也可以无界，但这种情况下，它的边界如果存在，则必须是充分好的。