در مورد میدان مفروضی مانند F، میدانی که همۀ اعضای آن در معادلاتی چندجملهای که ضرایبشان در F هستند، صدق کنند