By application, I meant the theory can find application in another problem domain. Vickers doesn't discuss it, but this idea of modelling properties as open se

By application, I meant the theory can find application in another problem domain. Vickers doesn't discuss it, but this idea of modelling properties as open sets was used in Edalat's implementation of exact real arithmetic.