a ist ein HYPONYM von b genau dann, wenn gilt:
- eine transitive RELATION, aber nicht symmetrisch (Grewendorf)