t A ∈ U, une valeur unique du bon type: type(A).
Exemple de nuplet sur U = {id, nom, capacité, type, lieu}... :
- Un ensemble fini de nom de relations.
* Exemple {Logement, Activité, Client, Séjour} ici le schém... nom R de relation, une relation sur type(R).
* Exemple Voyage(Logement) est une relation sur type(Logement).
Quelques **contres exemples** d'objets qui ne sont pas des relations de base