Gravar-mail: General topology meets model theory, on [Image: see text] and [Image: see text]