Matematikan, {\displaystyle A\_{1},A\_{2},\ldots ,A\_{n}} multzoetako {\displaystyle R} **matematika-erlazioa**, biderkadura kartesiarraren azpimultzo bat da

{\displaystyle R\subseteq A\_{1}\times A\_{2}\times \ldots \times A\_{n}}
Esaterako, erlazio bitarra bi multzoen arteko matematika-erlazioa da.

**Erlazioaren** kontzeptuak ban-banan aipatzearen ideia dauka, n-koteak osatzen duten multzoetako hainbat elementuena.

{\displaystyle R(a\_{1},a\_{2},\ldots ,a\_{n})\qquad {\mbox{edo baita ere}}\qquad (a\_{1},a\_{2},\ldots ,a\_{n})\in R}
Kasu berezia da multzoak berdinak direnean: {\displaystyle A\_{1}=A\_{2}=\ldots =A\_{n}}. Kasu horretan {\displaystyle A\times A\times \ldots \times A} honela adierazten da: {\displaystyle A^{n}\,}.

{\displaystyle R\subseteq A^{n}}

  

{\displaystyle R}, {\displaystyle A} multzoaren erlazio bat izanik, erlazio bat mota ezberdinetakoa izan daiteke:

* Erlazio bat **erreflexiboa** da baldin eta a{\displaystyle R}a bada {\displaystyle \forall }a{\displaystyle \in }{\displaystyle A}-rako.
* Erlazio bat **simetrikoa** da baldin eta a{\displaystyle R}b denenan b{\displaystyle R}b bada.
* Erlazio bat **trantsitiboa** da baldin eta a{\displaystyle R}b eta b{\displaystyle R}c denean, a{\displaystyle R}c bada.
* Erlazio bat **antisimetrikoa** da baldin eta a{\displaystyle R}b eta b{\displaystyle R}a denean, a=b bada.

Erlazio bat simetrikoa eta antisimetrikoa bada aldi berean, horrek trantsitiboa izango dela inplikaten du.

### Berdintzak

{\displaystyle R}, {\displaystyle A} multzoaren erlazio bat izanda existitzen bada erlazio bat zeinek lau propietateak betetzen dituen, erlazio horri berdintza deituko zaio. 

{\displaystyle R=\{(a,a)|a\in A\}}

Baliokidetasun erlazioak
------------------------

Baliokidetasun erlazio bat sortzeko propietate antisimetrikoa kenduko dugu, hau da, erlazioa erreflexiboa, simetrikoa eta trantsitiboa izan beharko da. Baliokidetasun erlazioa adierazteko {\displaystyle aRb}, {\displaystyle a\sim b} edo {\displaystyle a\equiv b} erabiliko dugu. 

### Baliokidetasun klaseak

Baliokidetasun klasea a-rekin erlazionatuta dauden elementuen multzoa da, {\displaystyle R} {\displaystyle A} multzoaren gainean definitutako baliokidetasun erlazioa bada eta a{\displaystyle \in }{\displaystyle A} bada. {\displaystyle [a]=\{x\in A|xRa\}}

### Adibidea

{\displaystyle \mathbb {Z} }-n, {\displaystyle R=\{(a,b)\in \mathbb {Z} \times \mathbb {Z} :\left\vert a\right\vert =\left\vert b\right\vert \}} non {\displaystyle \left\vert a\right\vert }-k {\displaystyle a}-ren balio absolutua esan nahi duen.

{\displaystyle \left\vert a\right\vert ={\begin{cases}a,&a>0{\text{ bada }}\\-a,&a<0{\text{ bada}}\end{cases}}}

* Erreflexiboa da. Izan ere, {\displaystyle \left\vert a\right\vert =\left\vert a\right\vert ,\forall a\in \mathbb {Z} }.
* Simetrikoa da; hau da, {\displaystyle \left\vert a\right\vert =\left\vert b\right\vert \Longrightarrow \left\vert b\right\vert =\left\vert a\right\vert ,\forall a,b\in \mathbb {Z} }.
* Trantsitiboa da, {\displaystyle (\left\vert a\right\vert =\left\vert b\right\vert {\text{eta}}\left\vert b\right\vert =\left\vert c\right\vert )\Longrightarrow \left\vert a\right\vert =\left\vert c\right\vert } betetzen baita.
* Ez da antisimetrikoa. Izan ere, {\displaystyle \left\vert 2\right\vert =\left\vert -2\right\vert {\text{ eta }}\left\vert -2\right\vert =\left\vert 2\right\vert ,{\text{ baina }}2\neq -2}.

Beraz, balio absolutua baliokidetasun-erlazioa da.

Honako hauek izango dira baliokidetasun klaseak:

{\displaystyle [a]=\{x\in \mathbb {Z} :\left\vert a\right\vert =\left\vert x\right\vert \}=\{a,-a\}}

Ordena erlazioak
----------------

Baliokidetasun erlazioa sortzeko orduan propietate antisimetrikoa zen kontuan hartu behar ez genuena. Ordena erlazioetan, aldiz, propietate simetrikoa da kanpoan geldituko dena. Honek esan nahi du ordena erlazioa sortzeko ezinbestekoa dela erlazioa erreflexiboa, simetrikoa eta antisimetrikoa izatea. 

Izenak argi adierazten duen moduan, ordena erlazioak ohiko zenbakien gaineko ordena adierazten du. Adibidez zenbaki arrunten (ℕ) multzoak ordena erlazioa betetzen du, eta modu berean zenbaki errealen ({\displaystyle {\displaystyle \mathbb {R} }}) edo arrazionalen ({\displaystyle {\displaystyle \mathbb {Q} }}) multzoek.

Ikus, gainera
-------------

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q203066
* Commonscat Multimedia: Relations (mathematics)

---

* **Identifikadoreak**
* GND: 4177675-6

 |

* Wd Datuak: Q203066
* Commonscat Multimedia: Relations (mathematics)


| * i
* e
* a
Matematika-erlazioak |
| --- |
| Gaien kopuruaren arabera | Monadikoa · Bitarra · Hirutarra · Lautarra · n-tarra |
| Baliokidetasun-erlazioak | Bihurkorra · Simetrikoa · Iragankorra |
| Ordena-erlazioak | Bihurkorra · Antisimetrikoa · Iragankorra |
| Itxiturak | Itxitura bihurkorra · Itxitura simetrikoa · Itxitura iragankorra |
| Diagrama | Grafoa · Hasseren diagrama · Auzokidetasun-matrizea · Eraso-matrizea |