Definition of "subvariety"

subvariety