 Ṣẹda ẹya ti o nira diẹ sii ti gbolohun yii Fun irọrun ti oye, a pese ilana fun awọn aaye Hilbert ti o ni iye gidi. : Òtítọ, àdàkọ tí ó díjú jùlọ nínú gbólóhùn náà ni Fún ìmúlò òye, a pèsè àlàfo fún àwọn àyè Hilbert tí ó ní iye scalar gidi ṣùgbọn a tún sọrọ lórí ìmúgbòòrò sí àwọn àyè Hilbert lórí àwọn iṣẹ tí ó ní iye díjú bí ọpọlọpọ àwọn àpẹẹrẹ pàtàkì ti àwọn àyè Hilbert tí ó ń ṣe àdàkọ jẹ àyè àwọn iṣẹ àyẹwò. 