Itxitura simetriko

Matematikan, $A$ multzoan definitutako $ℛ$ erlazio bitarraren itxitura simetrikoa, $CS(ℛ)$ adierazita, erlazio simetrikoa da, $ℛ$ erlazioa barnean hartzen duenetan txikiena dena.

Beste hitzetan, $CS(ℛ)$ da ondoko hauek betetzen dituen erlazio bitarra:

1. $ℛ\subseteq CR(ℛ)$
2. $CR(ℛ)$ simetrikoa da
3. ${ℛ}^{\prime }$ erlazio simetrikoa bada, non $ℛ\subseteq {ℛ}^{\prime }$ den, orduan $CR(ℛ)\subseteq {ℛ}^{\prime }$

Oharra: $ℛ$ simetrikoa bada, orduan $CR(ℛ)=ℛ$.