Itxitura simetriko

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

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

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

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

Kanpo estekak

• Datuak: Q194221