| http://www.w3.org/ns/prov#value | - You are considering structures consisting of a set X and a collection B of subsets of X, to be used to generate a topology on X. Your language allows you to quantify over points and over basis elements, and to say that a given point is an element of a given basis element, and so on.
|
