Baliokidetasun-erlazio

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu

Matematikan, A multzoan definitutako R baliokidetasun-erlazioa erlazio bitar bat da, aldi berean bihurkorra, simetrikoa eta iragankorra dena. Hau da:

\forall a \in X,\ a R a (Bihurkorra)
\forall a, b \in X,\ a R b \Rightarrow \; b R a (simetrikoa)
\forall a, b, c  \in X,\ a  \,R\, b \and b \,R\, c \; \Rightarrow a \,R\, c (iragankorra)

A multzoan ezarritako \sim baliokidetasun-erlazioa, (A,\sim)\, bikote ordenatuaren bidez adierazten da.

Ikus, gainera[aldatu | aldatu iturburu kodea]