Are you perhaps looking for [overtness](http://ncatlab.org/nlab/show/overt+space)?