Itxitura iragankor

Matematikan, $A$ multzoan definitutako $ℛ$ erlazio bitarraren itxitura iragankorra, $CT(ℛ)$ adierazita, erlazio iragankorra da, $ℛ$ erlazioa barnean hartzen duenetan txikiena dena.

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

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

Oharra: $ℛ$ iragankorra bada, orduan $CT(ℛ)=ℛ$.