Regular and normal spaces
Product spaces and subspaces