subhypergraph subdifferential subdivergence subtopology subsetting subcircuit subhypergroup discontinuity subduction subscheme