Let A be a topological ring, and let B be a topological A-algebra. Then B is formally étale if for all discrete A-algebras C, all nilpotent ideals J of C, and all continuous A-homomorphisms , there exists a unique continuous A-algebra map such that , where is the canonical projection.EGA 0IV, Définition 19.10.2.
