BINAIRE RELATION, mathématiques

Articles

• ALGÉBRIQUES STRUCTURES

  • Écrit par Jean-Marie PRUVOST-BEAURAIN
  • 29 463 mots
  Une relation binaire dans E est une correspondance de E vers E ; lorsque R = (E, E, G) est une relation binaire dans E, on convient en général d'écrire « R(a, b) » pour signifier « (a, b) ∈ G ». Une relation binaire R dans un ensemble E est dite :

  

• ENSEMBLES THÉORIE DES

  • Écrit par André ROUMANET, Jean-Luc VERLEY
  • 8 603 mots
  • 20 médias
  Soit E et F des ensembles. Une relation de source E et but F est une propriété sur l'ensemble produit E × F, c'est-à-dire une propriété des couples (x, y), x ∈ E et y ∈ F. Ainsi une relation définit un sous-ensemble de E × F, appelé son graphe, formé des couples...

• RELATION

  • Écrit par Jean LADRIÈRE
  • 7 566 mots
  ...titres, tant du côté intuitionniste que du côté formaliste, mais la théorie des relations a continué à se développer indépendamment de ces controverses. Alfred Tarski, en particulier, a repris, dans un mémoire fort important de 1941, le problème d'une élaboration systématique de cette partie de la théorie...