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).