relazione binaria

Nel linguaggio matematico si formalizza una relazione o corrispondenza tra due oggetti con l' appartenenza della coppia ordinata che essi costituiscono ad un insieme tendenzialmente ben determinato di tali coppie. In una esposizione matematica quindi si tende a fare riferimento all'intero insieme delle coppie che sono in quella relazione e si usa specificamente il termine relazione per tale insieme. Quindi ad esempio la relazione R(x,y)="x è moglie di y" sarà identificata con l'insieme di tutte le coppie sposate aventi come primo membro una moglie e come secondo membro il (un?) corrispondente marito.
Per saperne di più visita Wikipedia.org...