Abstract
It is shown that every separated Lodato proximity is induced by the elementary proximity on a bicompactification of the original space.

This publication has 4 references indexed in Scilit: