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