Extremally disconnected spaces, $F$-spaces, etc. Connections with order structures mathematics