ในทางคณิตศาสตร์พื้นที่โทโพโลยี เรียกว่าเป็นแบบปกติเมื่อพิจารณาเป็นกลุ่มถ้าสำหรับตระกูลแบบไม่ต่อเนื่องF _i ( i ∈ I ) ของเซตย่อยปิดของจะมีตระกูลของเซตเปิดU _i ( i ∈ I ) ที่ไม่ทับซ้อนกันเป็นคู่ๆโดยที่F _i ⊆ U _i โดย ที่ตระกูลของเซตย่อยของเรียกว่าแบบไม่ต่อเนื่องเมื่อทุกจุดของมีบริเวณใกล้เคียงที่ตัดกับเซตจาก อย่างมากที่สุดหนึ่งเซต นิยามที่เทียบเท่ากัน^{[ 1 ]}ของแบบปกติเมื่อพิจารณาเป็นกลุ่ม กำหนดให้U _i ( i ∈ I ) ข้างต้นนั้นเองเป็นตระกูลแบบไม่ต่อเนื่อง ซึ่งโดยหลักการแล้วแข็งแกร่งกว่าแบบไม่ทับซ้อนกันเป็นคู่ๆ ${\displaystyle X}$${\displaystyle X}$${\displaystyle {\mathcal {F}}}$${\displaystyle X}$${\displaystyle X}$${\displaystyle {\mathcal {F}}}$

ผู้เขียนบางคนสันนิษฐานว่าเป็นปริภูมิT ₁ ด้วยเช่นกัน ซึ่งเป็นส่วนหนึ่งของคำจำกัดความ แต่ในที่นี้ไม่มีข้อสันนิษฐานเช่นนั้น ${\displaystyle X}$

คุณสมบัตินี้มีความแข็งแกร่งระดับกลางระหว่างพาราคอมแพ็กต์เนสและนอร์มัลลิตี้และปรากฏในทฤษฎีบทเมตริกซ์

• พื้นที่ปกติตามคอลเลกชันคือพื้นที่เฮาส์ดอร์ฟตามคอลเลกชัน
• พื้นที่ปกติตามคอลเลกชันนั้นเป็นเรื่องปกติ
• ปริภูมิ Hausdorff paracompactเป็นปริภูมิปกติแบบคอลเลกชัน^{[ 2 ]} โดยเฉพาะอย่างยิ่ง ปริภูมิเมตริกซ์ ทุก ปริภูมิ เป็นปริภูมิปกติแบบคอลเลกชันหมายเหตุ : เงื่อนไข Hausdorff จำเป็นในที่นี้ เนื่องจากตัวอย่างเช่น เซตอนันต์ที่มีโทโพโลยีโคไฟ ไนต์เป็น เซต กระชับ ดังนั้นจึง เป็นparacompact และ T ₁แต่ไม่ใช่เซตปกติด้วยซ้ำ
• ปริภูมิคอมแพ็กต์นับได้ปกติทุกปริภูมิ(ดังนั้นปริภูมิคอมแพ็กต์ปกติทุกปริภูมิ) เป็นปริภูมิปกติแบบรวมกลุ่มพิสูจน์ : ใช้ข้อเท็จจริงที่ว่าในปริภูมิคอมแพ็กต์นับได้ กลุ่มย่อยที่ไม่ว่างใดๆ ที่เป็นแบบไม่ต่อเนื่องจะเป็นกลุ่มย่อยจำกัด
• เซตF _σในปริภูมิปกติแบบรวมกลุ่ม (collectionwise normal space) ก็เป็นเซตปกติแบบรวมกลุ่มในโทโพโลยีของปริภูมิย่อย (subspace topology) ด้วยเช่นกัน โดยเฉพาะอย่างยิ่ง ข้อนี้ใช้ได้กับเซตย่อยปิด
• เดอะทฤษฎีบทการกำหนดเมตริกของมัวร์กล่าวว่าปริภูมิของมัวร์นั้นสามารถกำหนดเมตริกได้

ปริภูมิเชิงทอพอโลยีXเรียกว่าเป็นแบบปกติเชิงคอลเลกชันโดยกรรมพันธุ์ถ้าปริภูมิย่อยทุกตัวของXที่มีทอพอโลยีของปริภูมิย่อยนั้นเป็นแบบปกติเชิงคอลเลกชัน

ในทำนองเดียวกันกับที่ปริภูมิปกติที่สืบทอดได้สามารถกำหนดลักษณะได้ในแง่ของเซตที่แยกออกจากกัน ปริภูมิปกติที่สืบทอดได้แบบรวมกลุ่มก็มีการกำหนดลักษณะที่เทียบเท่ากันเช่นกัน ตระกูลของเซตย่อยของXเรียกว่าตระกูลที่แยกออกจากกันถ้าสำหรับทุกiเรามีโดยที่ cl แทน ตัวดำเนินการ ปิดในXกล่าวอีกนัยหนึ่งคือ ถ้าตระกูลของเป็นแบบไม่ต่อเนื่องในการรวมกัน เงื่อนไขต่อไปนี้เทียบเท่ากัน: ^{[ 3 ]}${\displaystyle F_{i}(i\in I)}$${\textstyle F_{i}\cap \operatorname {cl} (\bigcup _{j\neq i}F_{j})=\emptyset }$${\displaystyle F_{i}}$

1. Xเป็นลักษณะทางพันธุกรรมปกติเมื่อพิจารณาจากการสะสม
2. ทุกปริภูมิย่อยเปิดของXเป็นปริภูมิปกติเชิงคอลเลกชัน
3. สำหรับทุกตระกูลย่อยที่แยกจากกันของXจะมีตระกูลเซตเปิดที่ไม่ทับซ้อนกันเป็นคู่ๆ อยู่เช่นนั้น${\displaystyle F_{i}}$${\displaystyle U_{i}(i\in I)}$${\displaystyle F_{i}\subseteq U_{i}}$

• พื้นที่โทโพโลยีที่เรียงลำดับเชิงเส้นทุกแห่ง(LOTS) ^{[ 4 ] [ 5 ]}
• พื้นที่เรียงลำดับทั่วไปทุกแห่ง(GO-space)
• พื้นที่ทุกแห่ง ที่สามารถกำหนดเมตริกได้ นี่เป็นผลมาจากข้อเท็จจริงที่ว่า พื้นที่ที่สามารถกำหนดเมตริกได้นั้นเป็นเรื่องปกติในเชิงกลุ่ม และการกำหนดเมตริกได้นั้นเป็นคุณสมบัติที่สืบทอดมา
• พื้นที่ปกติแบบโมโนโทนิกทุกแห่ง^{[ 6 ]}