Every fully normal space is normal and every fully T4 space is T4.
任意の全体正規空間は正規であり、任意の全体 T4 空間は T4 である。