بنداشت جداسازی
از ویکیپدیا، دانشنامهٔ آزاد
|
|
پیشنهاد شدهاست که این مقاله یا بخش با نظریه مجموعهها ادغام گردد. |
بنداشت جدایش یکی از بنداشت های نگره کوده ها است که می گوید اگر x یک کوده و A یک ویژگی رایه نخست باشد آنگاه گردایه اندام های x که ویژگی A را دارند خود یک کوده است.
منابع [ویرایش]
[۱]
- ↑ Set theory, T. Yech, Academic Press 1978