Prop:
R: commutative ring
A: R-algebra

the module of relative differential forms (Ω_A/R, d) exists and is unique up to isomorphisms.