Itxitura bihurkari

Matematikan, $A$ multzoan definitutako ${\mathcal {R}}$ erlazio bitarraren itxitura bihurkaria, $CR({\mathcal {R}})$ adierazita, erlazio bihurkari 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}})$ bihurkaria da
3. ${\mathcal {R}}'$ erlazio bihurkaria bada, non ${\mathcal {R}}\subseteq {\mathcal {R}}'$ den, orduan $CR({\mathcal {R}})\subseteq {\mathcal {R}}'$

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

Kanpo estekak

• Datuak: Q1637549