a ist ein HYPONYM von b genau dann, wenn gilt:

• für alle Gegenstände x impliziert der SATZ x ist a den Satz x ist b.

- eine transitive RELATION, aber nicht symmetrisch (Grewendorf)