Eine geordnete Menge ${\displaystyle {}(I,\preccurlyeq )}$ heißt gerichtet geordnet oder gerichtet, wenn es zu jedem ${\displaystyle {}i,j\in I}$ ein ${\displaystyle {}k\in I}$ gibt mit ${\displaystyle {}i,j\preccurlyeq k}$.