Relacion binària : Diferéncia entre lei versions

Contengut suprimit Contengut apondut
Vivarés (discussion | contribucions)
Vivarés (discussion | contribucions)
Linha 44 :
** se ''x'', ''y'' son d'elements de ''E'' taus que ''x'' = ''y'', alora ''y'' = ''x'' (simetria)
** se ''x'', ''y'', ''z'' son d'elements de ''E'' taus que ''x'' = ''y'' e ''y'' = ''z'', alora ''x'' = ''z'' (transitivitat)
* Dins l'ensemble <math>\mathbb {Z}</math> deis entiers, "aver la meteissa paritat" 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)
* Dins l'ensemble <math>\mathcal{E} = \mathcal{P}(\Omega)</math> , l'inclusion es una relacion binària 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{N}</math> deis entiers naturaus, la relacion de divisibilitat es reflexiva, antisimetrica e transitiva
 
==Vejatz tanben==