SUBVARIETIES

Definition of SUBVARIETIES