Reduced induced subscheme
ID: reduced-induced-subscheme
Every closed subset has a canonical reduced closed-subscheme structure defined affine-locally by when . It is the smallest closed subscheme with underlying set .
New to topics? Read the docs here!