$P$-spaces Connections with order structures mathematics