Also, all fully normal spaces are normal (even if not regular).
还有所有全部正规空间是正规的(即使不是正则的)。