Definition:Hilbert Ring