Exercice4

Pour démontrer les égalités nous avons besoin des définitions suivantes :
- R={t/ t∈R}
- R∩S = {t/ t∈R et t∈S}

- R-S = {t/ t∈R et t∉S}

- σ(R ; A=’a’)= {t/ t∈R et t[A]=’a’}

- ΠA,B (R )= {t / ∃t’∈ R tel que t’[A,B]=t}