A characterisation of a type of weak-operator continuous linear functional on certain linear subsets of B, where H is a Hilbert space, is derived within Bishop-style constructive mathematics.