Em [[matemáticaMatemática]], um '''conjuntoConjunto direcionadoDirecionado''' (ou uma '''pré-ordem direcionada''' ou um '''conjunto filtrado''') é um [[conjunto]] não vazio ''A'' junto com uma [[relação binária]] [[relação reflexiva|reflexiva]] e [[relação transitiva|transitiva]] ≤ (isto é, uma [[pré-ordem]]), com a propriedade adicional de que todo par de elementos tem uma [[cota superior]]. <ref>Kelley, p. 65.</ref> Em outras palavras, para quaisquer ''a'' e ''b'' em ''A'' deve existir algum ''c'' em ''A'' tal que ''a'' ≤ ''c'' e ''b'' ≤ ''c''.
