בתורת החוגים, צמצום הוא התכונה המאפשרת לצמצם מודול, כלומר להסיק מאיזומורפיזם A \oplus B \cong A \oplus B' את האיזומורפיזם B \cong B'. צמצום עשוי להתקיים או שלא להתקיים בקטגוריה נתונה של מודולים. מתוך ויקיפדיה

תכונת ארכימדס, תכונת ההחלפה הסופית, תכונת ההפרדה T0, תכונת ההפרדה T1, תכונת ההפרדה של האוסדורף, תכונת הופף, תכונת החיתוך הסופי, תכונת המניה הראשונה, תכונת המניה השניה, תכונת המשחק המצומצם