Prodiscrete topology