we get similarly that if \(f, g \in F\) , then \(f{\cdot }g, f \vee g, f \wedge g \in F\) .
Turning the definitional clauses of a Bishop topology into inductive rules, Bishop defined in [1]}, p. 72,
the least topology including a given subbase \(F_{0}\) . This inductive definition, which
is also found in [2]}, p. 78, is crucial to the definition of new Bishop topologies from given ones.
