കെ നിർവചനം അനുസരിച്ച് Q-ൽ അൾജിബ്രായിക്ക് ആണ്, കാരണം കെ യുടെ ഓരോ എലമെന്റും നിർവചനം അനുസരിച്ച് Q-ൽ അൾജിബ്രായിക്ക് ആണ്, അതിനർത്ഥം കെ നിർവചനം അനുസരിച്ച് Q-ൽ അൾജിബ്രായിക്ക് ആണ്.
எனவே, வரையறையின் படி, K அல்ஜிப்ரேக் ஓவர் Q ஆக இருக்கும், Kல் உள்ள அனைத்து எலிமெணட்களும் , அல்ஜிப்ரேக் ஓவர் Qஆக இருக்கும், எனவே K அல்ஜிப்ரேக் ஓவர் Q.