函数芽 "f" が可逆であるとは "f"(0)が0でないこととする。