ریختار متناهی

ریختاری از نوع متناهی (finite type) مانند f از طرح X به طرح Y به‌طوری‌که پوشش بازهمگری از Y وجود داشته باشد که پیش‏نگارۀ اعضای آن در شرایط معینی صدق کند