In this interpretation, I represents the ideal defining the diagonal in the fiber product of Spec(S) with itself over Spec(S) → Spec(R).
В этой интерпретации I представляет идеал, задающий диагональ в расслоенном произведении Spec(S) на себя над Spec(S) → Spec(R).