Vocabulary
有限型
ゆうげんがた
of finite type
expression