Completeness condition

Redirect to:

• Borel functional calculus#Resolution of the identity