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