Itxitura bihurkari

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

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

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

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

Ikus, gainera

Kanpo estekak

• Datuak: Q1637549