BINAIRE RELATION, mathématiques

ALGÉBRIQUES STRUCTURES

  • Écrit par 
  • Jean-Marie PRUVOST-BEAURAIN
  •  • 34 159 mots

Dans le chapitre « Correspondances, relations binaires, fonctions, applications »  : […] Soient E et F deux ensembles, distincts ou non. Une correspondance de E vers F est un triplet (E, F,  G ) tel que G soit une partie de E×F ; les ensembles E, F et G sont appelés respectivement ensemble de départ (ou ensemble source ), ensemble d'arrivée (ou ensemble but ) et […] Lire la suite☛ http://www.universalis.fr/encyclopedie/structures-algebriques/#i_31009

ENSEMBLES THÉORIE DES

  • Écrit par 
  • André ROUMANET, 
  • Jean-Luc VERLEY
  •  • 8 743 mots
  •  • 20 médias

Dans le chapitre « Relations binaires »  : […] 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 ∈ F. Ainsi une relation définit un sous-ensemble de E × F, appelé son […] Lire la suite☛ http://www.universalis.fr/encyclopedie/ensembles-theorie-des-theorie-elementaire/#i_31009

RELATION

  • Écrit par 
  • Jean LADRIÈRE
  •  • 7 662 mots

Dans le chapitre « La théorie des relations d'Alfred Tarski »  : […] Dans l'œuvre de Russell, la théorie des relations s'inscrit dans un projet général : celui du logicisme. Les Principles formulent ce projet de la manière suivante : il s'agit de démontrer « que les mathématiques pures tout entières traitent exclusivement de concepts définissables dans les termes d'un très petit nombre de concepts logiques fondamentaux et que toutes leurs pro […] Lire la suite☛ http://www.universalis.fr/encyclopedie/relation/#i_31009