« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Prédicats, quantificateurs : retrait crochet |
m →Définition, exemples : retrait crochet |
||
Ligne 243 :
# L'égalité (<math>=</math>) sur <math>E</math> provient de <math>\Delta=\{ (x,x), x \in E\}</math>. Ici on préfèrera <math>x=y</math> à <math>x \Delta y</math>.
# L'inclusion sur <math>\mathcal{P}(E)</math> : <math>\mathcal{R}=\{ (X,Y)\in\mathcal{P}(E)^2 / X\subset Y\}</math>.
# L'ordre sur <math>\mathbb{R}</math> : <math>\mathcal{R}=\{ (x,y)\in\mathbb{R}^2 / x\leq y \}</math>
===Qualités d'une relation binaire===
|