Since the structure sheaf of a scheme naturally carries only the discrete topology, the notion of formally étale for schemes is analogous to formally étale for the discrete topology for rings.
It is equivalent to let Z be any Y-scheme and let J be a locally nilpotent sheaf of ideals on Z [REF].