בתורת החבורות, חבורה בעלת תכונת הופף היא חבורה שאינה איזומורפית לאף חבורת מנה שלה. את התכונה הגדיר היינץ הופף ב⁻1932, כשהוכיח שהחבורה היסודית של כל משטח רימן סגור ובעל כיוון היא בעלת תכונה זו. מתוך ויקיפדיה

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