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