A preservation result for completely regular locales.

From MaRDI portal
Publication:2447128