Itxitura iragankor

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu

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

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

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

Oharra: \mathcal{R} iragankorra bada, orduan CT(\mathcal{R})=\mathcal{R}.

Ikus, gainera[aldatu | aldatu iturburu kodea]