Definition
A morphism \(f:X\to Y\) of schemes over \(S\) is said to be formally smooth if given any commutative diagram
where \(i:T\hookrightarrow T'\) is a first-order thickening of affine schemes over \(S\), there exists a dashed arrow making the diagram commute.