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}}$.

Kanpo estekak

• Datuak: Q1501387