Erlazio-itxitura

Matematikan, $A$ multzoan definitutako $R$ erlazioaren itxitura beste erlazio bat da, $R$ erlazioa barnean hartzen duenetan txikiena eta emandako propietatea ere betetzen duena. Propietate horiek bihurkortasuna, simetria eta iragankortasuna izan daitezke, eta hala gerta baledi, itxitura bihurkorra (CR($R$)), itxitura simetrikoa (CS($R$)) edo itxitura iragankorra (CT($R$)) deitzen dira, hurrenez hurren.

C($R$) itxitura bakoitzak propietate hauek betetzen ditu:

1. $R\subseteq C(R)$
2. $C(R)$ iragankorra (bihurkorra, simetrikoa) da
3. $R^{\prime }$ iragankorra (bihurkorra, simetrikoa) bada, non $R\subseteq R^{\prime }$ den, orduan $C(R)\subseteq R^{\prime }$