Algebraic Variety

A geometric object defined as the solution set of polynomial equations over a field and equipped with the Zariski topology; in classical terms often taken to be a reduced, separated scheme of finite type over a field, possibly irreducible (an integral variety) or reducible.