自然数から拡張させればよろし。