subvariety