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

{{פירוש נוסף|נוכחי=קבוצה שהיא צפופה במונחי הסדר|אחר=צפופה במובן הטופולוגי|ראו=[[קבוצה צפופה]]}}

 

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