Abstract varieties