פתיחת התפריט הראשי

שינויים

מ
בוט החלפות (-השניה +השנייה)
 
==יחס העידון==
על אוסף החלוקות של קבוצה X מוגדר יחס [[סדר חלקי]] הנקרא "יחס העידון"; חלוקה אחת מעודנת יותר מהשניהמהשנייה אם קבוצותיה מוכלות בקבוצות החלוקה השנייה. באופן הזה החלוקה המעודנת יותר היא למעשה איחוד של חלוקות של קבוצות החלוקה הפחות מעודנת. באופן פורמלי, חלוקה <math>\ P_1 = \{ A_\alpha\} _{ \alpha \in I}</math> מעודנת יותר מחלוקה <math>\ P_2 = \{ B_\beta\} _{ \beta \in J}</math> אם לכל <math>\beta \in J</math> קיימת <math>\alpha \in I</math> כך ש- <math>\ B_\beta \subseteq A_\alpha </math>. יחס העידון הופך את אוסף החלוקות של הקבוצה X ל[[סריג (מבנה סדור)|סריג]] שהמינימום והמקסימום שלו הן החלוקות הטריוויאליות.
==מספרי בל==
מספר החלוקות האפשריות של [[קבוצה סופית]] בגודל n, נקרא [[מספרי בל|מספר בל]] ה-n-י על שם ה[[מתמטיקאי]] ה[[ארצות הברית|אמריקאי]] [[אריק טמפל בל]], ומסומן <math>\ B_n</math>.