feat(topology/separation): t0_space and t1_space for α × β and Π i, α i (#14418)
t0_space
t1_space
α × β
Π i, α i