• 其他词汇：

• 更多词汇： 有限関数 有限集合 有限順序機械 有階加群