Urelementってどういう意味ですか？

Urelement -- from MathWorld
Urelement An urelement contains no elements, belongs to some set, and is not identical with the empty set (Moore 1982, p. 3; Rubin 1967, p. 23).
と書いてあるのですが、contains no elementsなのに
is not identical with the empty setって、いったい。
どなたかご存知あれば教えてください。

No.1 ベストアンサー 回答者： kash 回答日時： 2003/08/09 21:59

どうやらその言葉の矛盾通り、通常の「集合論」では存在しない概念のようです。

「区体論」という分野のようですが、下のＵＲＬは「数学の専門家向け」ということで、自分には理解しかねます。
解ったのは、
"ur"はドイツ語の接頭辞である。
"urelements"は別名"atoms","individuals"ともいう。
"urelement"の存在を仮定すると証明できる定理もいくつかある。

位のもので・・・。
お役に立てず申し訳ない・・・。

参考URL：http://hp.vector.co.jp/authors/VA011700/math/par …

この回答へのお礼

いえいえ、どうもありがとうございます。各いう私も基礎論は門外漢なのですが、なかなか興味深そうな理論ですね。

お礼日時：2003/08/10 00:04