无穷小量定义(精)