SUBVARIETY

Definition of SUBVARIETY