Characterising dominated weak-operator continuous functionals on subspaces of B(H)

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