Abstract variety