Itxitura bihurkari

Matematikan, $A$ multzoan definitutako $ℛ$ erlazio bitarraren itxitura bihurkaria, $CR(ℛ)$ adierazita, erlazio bihurkari bat da, $ℛ$ erlazioa barnean hartzen duenetan txikiena dena.

Beste hitzetan, $CR(ℛ)$ da ondoko hauek betetzen dituen erlazio bitarra:

1. $ℛ\subseteq CR(ℛ)$
2. $CR(ℛ)$ bihurkaria da
3. ${ℛ}^{\prime }$ erlazio bihurkaria bada, non $ℛ\subseteq {ℛ}^{\prime }$ den, orduan $CR(ℛ)\subseteq {ℛ}^{\prime }$

Oharra: $ℛ$ bihurkaria bada, orduan $CR(ℛ)=ℛ$.