有限定义

finitely defined