Ordnungstheorie/Gerichtete Menge/Definition

Gerichtete Menge

Eine geordnete Menge heißt gerichtet geordnet oder gerichtet, wenn es zu jedem ein mit gibt.