Itxitura bihurkor

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu

Matematikan, A multzoan definitutako \mathcal{R} erlazio bitarraren itxitura bihurkorra, CR(\mathcal{R}) adierazita, erlazio bihurkor 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}) bihurkorra da
  3. \mathcal{R}' erlazio bihurkorra bada, non \mathcal{R}\subseteq \mathcal{R}' den, orduan CR(\mathcal{R})\subseteq \mathcal{R}'

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

Ikus, gainera[aldatu | aldatu iturburu kodea]