The topological space X is
said to have a Gδ-diagonal if the diagonal Δ = {(x,x) : x ∈ X} is a Gδ-set in X ×X.
It is easy to see that if X has a coarser metrizable topology, then X has a
Gδ-diagonal. The main result is that a completely regular pseudocompact space with
a regular Gδ-diagonal is metrizable.