foundation The axiom of foundation states that the membership relation is well founded, i.e. that any non-empty collection Y of sets has a member y which is disjoint from Y. This rules out sets which contain themselves (directly or indirectly).
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.