正规

正规可以指:

•	正规子群, 群的一类子群.

•	正规扩张, 一类域扩张.

•	正规空间, 即满足分离公理 ${\mathrm{T}}_4$ 的拓扑空间.

•	正规族, 一族连续函数, 其任意序列都有紧收敛的子列.

•	正规算子、正规矩阵.

•	正规概形, 其局部环为整闭整环的概形.

•	正规性 (类型论).

•	正规性 (重写系统).