Questions marquées «logical-relations»

15
Utilisations des quasi-PER / relations difonctionnelles / relations zig-zag?

Étant donné les ensembles et B , une relation difonctionnelle ( ∼ ) ⊆ A × B entre eux est définie comme une relation satisfaisant la propriété suivante:UNEUNEABBB ( ∼ ) ⊆ A × B(∼)⊆UNE×B(\sim) \subseteq A \times B Si et a ′ ∼ b ′ et a ∼ b ′ , alors a ′ ∼ b . a ∼ bune∼ba \sim bune′∼ b′une′∼b′a' \sim...