VARIETIES

Definition of VARIETIES