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'\,$ iragankorra (bihurkorra, simetrikoa) bada, non $R\subseteq R'$ den, orduan $C(R)\subseteq R'$

Kanpo estekak

• Datuak: Q3753945