קבוצה סדורה צפופה – הבדלי גרסאות

קבוצה A שקיים עליה [[סדר חלקי]] נקראת "צפופה" אם לכל <math>x,y\isin A</math> שעבורם מתקיים <math>\!\,x<y</math> קיים <math>\!\,z\isin A</math> כך ש<math>\!\,x<z<y</math>. בקבוצה צפופה אין משמעות למושג "האיבר הקטן ביותר הגדול מ-x", משום שלכל איבר הגדול מ-x, יש איבר נוסף ביניהם. בפרט, בין כל שני איברים בקבוצה צפופה יש אינסוף איברים אחרים.

 

 

[[קטגוריה:תורת הקבוצות]]