"k" に有限集合 "e" ＝{"a"1,..., "a""n"}を添加した体 "k"("e")は "k" 上有限生成あるいは "k" 上有限型であるといわれ、"k"("a"1,..., "a""n")とも略記される。