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