•Union et intersection de relations : soit R et S deux relations
binaires entre E et F.
– R ∪S union de R et S est définie par x (R ∪S) y ssi xRy ou
xSy.
– R ∩S intersection de R et S est définie par x (R ∩S) y ssi
xRy et xSy.
– On généralise à des relations n-aires
•Exemples : - l'union de {(Tartempion,chaise,facture22)} et
{(Tartempion,chaise,facture22), (Dupont,table,facture23),
(Dupont,fourchette, facture32)} est {(Tartempion,chaise,facture22),
(Dupont,table,facture23), (Dupont,fourchette, facture32)}
- l'intersection de {(Tartempion,chaise,facture22)} et
{(Tartempion,chaise,facture22), (Dupont,table,facture23),
(Dupont,fourchette, facture32)} est {(Tartempion,chaise,facture22)}
•Inverse d’une relation binaire : soit R relation entre E et F. R-1
inverse de R est définie par x R-1 y ssi yRx.
•Complémentaire d’une relation : la relation R’ complémentaire
d’une relation R entre E et F est définie par (e,f) ∈R’ ssi (e,f) ∉
R. On généralise à des relations n-aires.
•Relation identité : la relation identité entre E et F, notée IdE×F,
est définie par (e,f) ∈IdE×Fssi e = f
•Relation pleine : la relation pleine entre E et F, notée ∏E×F, est
définie par ∀(e,f) ∈E×F, (e,f) ∈ ∏E×F
•Composition des relations binaires : soit R une relation entre E
et F et S une relation entre F et G. La relation T binaire
composée de R et S, et notée RoS, est définie par ∀(x,z) ∈
E×G, xTz ⇔ ∃y ∈F tel que xRy et ySz
•Symétrie : une relation R est symétrique si pour tout x et y tels
que xRy, alors yRx. Si R est symétrique, R=R-1
•Exemple : la relation "à coté de" définie sur Ob Ob où Ob est l'ensemble
des objets matériels est symétrique
•Antisymétrie : une relation R est anti-symétrique si pour tout x
et y tels que xRy et yRx, alors x = y
•Exemple : la relation "posée sur" définie sur Ob Ob est antisymétrique
•Transitivité : une relation R est transitive si pour tout x, y et z
tels que xRy et yRz, alors xRz
•Exemple : la relation "à coté de" est transitive
•Réflexivité : une relation R est réflexive si pour tout x, alors
xRx
•Exemple : la relation "est située au même endroit" définie sur Ob Ob est
réflexive
•Antiréflexivité : une relation R est anti-réflexive si pour tout x,
alors xRx est faux
•Exemple : la relation "est posée sur" est antiréflexive
•Fermeture d’une relation binaire : Soit R une relation binaire
définie sur un ensemble E. On appelle fermeture réflexive, de
R la plus petite (au sens de l’inclusion) relation réflexive définie
sur E contenant R. On note r(R) la fermeture réflexive de R,
t(R) sa fermeture transitive, s(R) sa fermeture symétrique.
• Théorème 1 : Soit R une relation binaire sur un ensemble E.
– r(R) = R ∪Id (Id = relation d’identité)
– t(R) = ∪Rii=1..∞(Ri = RoRo .. oR i fois)
– s(R) = R ∪R-1