定義域を広くするのが数学の趨勢