אקסיומות ההפרדה – הבדלי גרסאות

שתי הטענות הקודמות אינן נכונות בהכרח עבור מרבי <math>\ T_4</math> - למשל המרחבים <math> \Omega</math> ו<math> \Omega_1</math> הינם נורמליים, אולם מכפלתם אינה נורמלית,ומכפלה זו היא בעצמה תת -מרחב של <math> \Omega_1 x \Omega_1</math>, שהוא מרחב נורמלי.

* מרחב T5 הוא נורמלי תורשתי, אך לא כל תת -מרחב שלו הוא T5. נניח ש <math>\ Z \subset Y \subset X</math> כאשר X הוא T5. אזי ידוע לנו ש Y הוא T4 בטופולוגיה המושרית מ X וכן Z הוא T4 בטופולוגיה המושרית מ X אך לא ברור ש Z הוא T4 בטופולוגיה המושרית ב Y.--> <!-- אם מישהו מוכן להעיר בנוסף הסעיף האחרון, כי אני לא הכי בטוח לגביו -->