יחידון

ערך זה עוסק במונח בתורת הקבוצות. אם התכוונתם למבנה אלגברי, ראו מונואיד.

יחידון (או: סינגלטון) היא קבוצה המכילה איבר אחד בלבד. לדוגמה, הקבוצה $\left\{0\right\}$ היא יחידון.

תכונות

• יש לציין כי קבוצה מסוג $\{\left\{a,b,c\right\}\}$ היא גם כן יחידון בשל האיבר היחיד הקיים בה והוא $\left\{a,b,c\right\}$.
• קבוצה היא יחידון אם ורק אם עוצמתה היא 1.
• בתורת הקבוצות המספר 1 מוגדר כיחידון $\left\{0\right\}$.
• בתורת הקבוצות האקסיומטית, קיומו של יחידון הוא תוצאה של אקסיומת הקבוצה הריקה ואקסיומת הזיווג.
• אם A היא קבוצה, ו-S יחידון, אז קיימת פונקציה אחת בלבד מ-A ל-S. הפונקציה הקבועה לאיבר היחיד ב-S. מספר הפונקציות מ-S ל-A שווה לעוצמת A.

ראו גם

• מונחים בתורת הקבוצות

נושאים בתורת הקבוצות
תורת הקבוצות הנאיבית • תורת הקבוצות האקסיומטית • קבוצה • יחידון • הקבוצה הריקה • איחוד • חיתוך • משלים • הפרש סימטרי • קבוצת החזקה • מכפלה קרטזית • יחס • יחס שקילות • פונקציה • עוצמה • קבוצה בת מנייה • האלכסון של קנטור • משפט קנטור שרדר ברנשטיין • השערת הרצף • הפרדוקס של ראסל • סדר חלקי • מספר סודר • הלמה של צורן • אקסיומת הבחירה