Abstract algebraic variety