左線形な準開発閉包LCTRSの収束性

左線形な準開発閉包LCTRSは収束する。