Itxitura iragankor

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

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

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

Oharra: $\mathcal{R}$ iragankorra bada, orduan $CT(\mathcal{R})=\mathcal{R}$.