EDB — 23X

view in whole PDF view in whole HTML

View

Italian

Definizione 70

[23X]Una relazione R fra elementi di A è detta:

  • riflessiva se xRx per ogni xA;

  • irriflessiva o anti-riflessiva se ¬xRx per ogni xA;

  • simmetrica se xRy implica yRx per ogni x,yA;

  • antisimmetrica se aRb e bRa implicano a=b, per ogni a,bA;

  • tricotomica se per ogni x,yA vale esattamente una fra xRy, yRx e x=y;

  • transitiva se xRy e yRz implicano xRz, per ogni x,y,zA.

Una relazione R fra elementi di A e elementi di B è detta:

  • iniettiva se xRy e zRy implicano x=z, per ogni x,zA,yB;

  • funzionale se xRy e xRz implicano y=z, per ogni xA,y,zB; una tale relazione è anche detta una “funzione parziale” (si vedano anche [1YR],[01P]);

  • totale (a sinistra) se per ogni xA esiste un yB tale che xRy;

  • surgettiva (cioè “totale a destra”) se per ogni yB esiste un xA tale che xRy.

Download PDF
Bibliography
Book index
  • riflessiva, relazione
  • antiriflessiva, relazione
  • irriflessiva, relazione
  • simmetrica, relazione
  • antisimmetrica, relazione
  • tricotomica, relazione
  • transitiva, relazione
  • iniettiva
  • funzionale, relazione ---
  • funzione, parziale
  • parziale, funzione ---
  • totale, relazione ---
  • surgettiva
Managing blob in: Multiple languages
This content is available in: Italian English