Itxitura bihurkari

Wikipedia(e)tik
Itxitura bihurkor» orritik birbideratua)
Hona jo: nabigazioa, Bilatu

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

Ikus, gainera[aldatu | aldatu iturburu kodea]