Itxitura bihurkor

Matematikan, $A$ multzoan definitutako $\mathcal{R}$ erlazio bitarraren itxitura bihurkorra, $CR(\mathcal{R})$ adierazita, erlazio bihurkor bat da, $\mathcal{R}$ erlazioa barnean hartzen duenetan txikiena dena.

Beste hitzetan, $CR(\mathcal{R})$ da ondoko hauek betetzen dituen erlazio bitarra:

1. $\mathcal{R}\subseteq CR(\mathcal{R})$
2. $CR(\mathcal{R})$ bihurkorra da
3. $\mathcal{R}'$ erlazio bihurkorra bada, non $\mathcal{R}\subseteq \mathcal{R}'$ den, orduan $CR(\mathcal{R})\subseteq \mathcal{R}'$

Oharra: $\mathcal{R}$ bihurkorra bada, orduan $CR(\mathcal{R})=\mathcal{R}$.