StevenXClontz’s Twitter Archive—№ 4,249

@dzackgarza There's a lot of fun characterizations that use Δ. Among compact spaces, metrizablity is equivalent to a closed Gδ (countable intersection of opens) diagonal.