Ayrılık aksiyomu

Gelen matematik , sentezleme ayırma aksiyomu iki alanda, bağımsız bir şekilde kullanılır:

• topolojide, bir ayırma aksiyomu , bir topolojik uzaylar sınıfını, noktaların komşuluğunun veya kapalı mahallelerin varoluş kriterlerine göre karakterize eden bir özelliktir;
• küme teorisinde, ayırma aksiyomlarının diyagramı mantıksal önermeleri bir araya getirerek kümelerin önceden tanımlanmış kümeleri ve elemanlarının sahip olduğu özellikleri kullanarak tanımlanmasını sağlar.