Für eine generische Relation muss gelten:
Alle x (z.B. Katzen) sind ein y (z.B. Säugetiere),
einige y (z.B. Säugetiere) sind x (z.B. Katzen).