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