Relacion binària : Diferéncia entre lei versions

* Dins l'ensemble <math>\mathbb Z</math> deis entiers, "aver la meteissa paritat que" es una relacion binària reflexiva, simetrica e transitiva :

** se ''x'' es un entier, alora <math>x \equiv x</math> (reflexivitat)

** se ''x'', ''y'' son d'entiers taus que <math>x \equiv y</math>, alora <math>y \equiv x</math> (simetria)

** se ''x'', ''y'', ''z'' son d'entiers taus que <math>x \equiv y</math> e <math>y \equiv z</math>, alora <math>x \equiv z</math> (transitivitat)

* L'inclusion dins l'ensemble <math>\mathcal{P}(\Omega)</math> es reflexiva, antisimetrica e transitiva :

** se ''A'' es una partida de <math>\ \Omega</math>, alora <math>A\subset A</math> (reflexivitat)

** se ''A'', ''B'' son de partidas de <math>\ \Omega</math> talei que <math>A \subset B</math> e <math>B \subset A</math>, alora ''A'' = ''B'' (antisimetria)

** se ''A'', ''B'', ''C'' son de partidas de <math>\ \Omega</math> talei que <math>A \subset B</math> e <math>B \subset C</math>, alora <math>A \subset C</math> (transitivitat)

* Dins l'ensemble <math>\mathbb R</math> dei reaus, caduna dei doas relacions d'inegalitat larga es reflexiva, antisimetrica e transitiva ; caduna dei doas relacions d'inegalitat estricta es transitiva.

* Dins l'ensemble <math>\mathbb Z</math> deis entiers, la relacion de divisibilitat es reflexiva, antisimetrica e transitiva