• 其他词汇：

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