無限の定義による