Reduced induced subscheme

ID: reduced-induced-subscheme

Reduced induced subscheme by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!