The concepts of the qualified closure, the positivity and the boundedness of element systems in the Hilbert space have been introduced. The definite operators connected with these systems have been called the abstract F-representations. The properties of mentioned operators and the decidability of corresponding equations have been studied.