Ensemble de départ Ensemble d ’arrivée ou cible (target) e 1 a 2 b 3 c 4 Codomaine ou range d 5 domaine Relation quelconque

e 1 a 2 b 3 c 4 d 5 Fonction partielle

e 1 a 2 b 3 c 4 d 5 Fonction totale

e a 2 b c d 5 Fonction partielle surjective

Fonction totale surjective 2 b c d 5 Fonction totale surjective Bijection

e 1 a 2 b 3 c 4 d 5 R1 [{a, b, c}] = {2, 4} Image relationnelle

e r1 1 a 2 b 3 c 4 d 5 R1 |> {2, 5} = {(a, 2), (b, 2), (d, 5)} Restriction de codomaine

e r1 1 a 2 b 3 c 4 d 5 {a, b} <| r1 = {(b, 2), (c, 4)} Restriction de domaine

e r1 1 a 2 b 3 c 4 d 5 {b, c} <<| r1= {(a, 2), (a, 4), (d, 5)} Antirestriction de domaine

r1 r2 e 1 x a 2 y b 3 z c 4 w d 5 r1 ; r2 == r2 o r1

estSituéeDans : Salle --> Bâtiment & aPourNuméro : Salle --> NAT & estSituéeDans >< aPourNuméro : Salle >--> Bâtiment * NAT

SETS VALEURS_FACIALE VARIABLES monPorteMonnaie INVARIANT monPorteMonnaie : VALEURS_FACIALE +-> NAT Bag (Multiset)

Raffinage

Art. L 113-1 La qualité d ’auteur appartient, sauf preuve contraire, à celui ou à ceux sous le nom de qui l ’œuvre est divulguée Art. L 113-2 Est dite de collaboration l ’œuvre à la création de laquelle ont concou- ru plusieurs personnes physiques. Est dite composite l ’œuvre nouvelle à laquelle est incorporée une œuvre préexistante sans la collaboration de l ’auteur de cette dernière. Est dite collective, l ’œuvre créée sur l ’initiative d ’une personne physique ou morale qui l ’édite, la publie et la divulgue sous sa direction et son nom et dans laquelle la contribution personnelle des

divers auteurs participant à son élaboration se fond dans l ’ensemble en vue duquel elle est conçue, sans qu’il soit possible d ’attribuer à chacun d ’eux un droit distinct sur l ’ensemble réalisé. Art. L. 113-3 L ’œuvre de collaboration est la propriété commune des coauteurs. (…) Art. L 113-4 L ’œuvre composite est la propriété de l ’auteur qui l ’a réalisée, sous réserve des droits de l ’auteur de l ’œuvre préexistante.

Art. L 113-5 L ’œuvre collective est, sauf preuve contraire, la propriété de la personne physique ou morale sous le nom de laquelle elle est divulguée. Cette personne est investie des droits de l ’auteur. Art. L 113-6 Les auteurs des œuvres pseudonymes et anonymes jouissent sur celles-ci des droits reconnus par l ’article L. 111-1 Ils sont représentés dans l ’exercice de ces droits par l ’éditeur ou le publicateur originaire, tant qu ’ils n ’ont pas fait connaître leur identité civile et justifié de leur qualité. (…)

Est dite de collaboration l ’œuvre à la création de laquelle ont concou- ru plusieurs personnes physiques. aPourCollaborateurs : oeuvreDeCollaboration <--> personnes L ’œuvre de collaboration est la propriété commune des coauteurs. (…) coauteurs (oColl) == aPourCollaborateurs [{oColl}] aPourPropriétaire : oeuvreDeCollaboration --> POW ( personnes)

Est dite composite l ’œuvre nouvelle à laquelle est incorporée une œuvre préexistante sans la collaboration de l ’auteur de cette dernière. aPourComposants : oeuvreComposite <--> œuvres aPourCollaborateurs : oeuvreDeCollaboration <--> personnes aPourAuteur : œuvres --> personnes aPourComposants ; aPourAuteur