====== HYPONYMIE ======

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)