on type: type(A).
Exemple de nuplet sur U = {id, nom, capacité, type, lieu}:
* (id → bb, nom → Benbow, capacité → 20:30, type → Auberge, lieu → Cévennes)... données se définit comme:
- Un ensemble fini de nom de relations.
* Exemple {Logement, Activité, ... pour chaque relation
* type(Logement) = {id, nom, capacité, type, lieu}
* type(Activité) = {id
