ウィキペディアで自己解決。
http://ja.wikipedia.org/wiki/Well-defined

バナッハ=タルスキーのパラドックスがおkな体系では、
「体積をもつ図形」をはっきりさせておかないと
体積がwell-definedではないってのが面白かった。バナッハ=樽好きGJ!!