幾何学的には、アフィンスキームの言葉で、"i" はspec("s") → spec("r")上のspec("s")のそれ自身とのファイバー積において"対角線を定義するイデアル"を表す。