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

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