Definition:Closed for Scalar Product