We define what the infinitesimal neighbourhood of an immersion of schemes is and show it always exists. Further, we observe it is functorial and that it specialises to the adic completion when a closed immersion is finitely presented.PDF: Formal schemes and infinitesimal neighbourhoods.pdf
