狭義の帰納的極限
【きょうぎのきのうてききょくげん】
【kyouginokinoutekikyokugen】
严格归纳极限