Suppose that X {\displaystyle X} is a reduced closed subscheme of a smooth scheme Y {\displaystyle Y} .
Anta att X {\displaystyle X} är ett reducerat slutet delschema av ett slätt schema Y {\displaystyle Y} .