足し算と掛け算が上手(詳細省略)に定義された集合を「環」と言う。
環から環への関数ψがψ(xy)=ψ(x)y+xψ(y)を満たすとき、
ψ(x)をxの微分、xをψ(x)の積分と呼ぶ。位相論なんか捨てろ。