  This paper is about the local geometry of a real surfaces. It introduces
machinery for studying families of subsets which are determined by conditions
which are similar to base conditions, but also involve
positivity/non-negativity. The methods used are the real spectrum and Zariski's
theory of complete ideals.
