Definition. Directed subset [math-980H]

A subset $P \subseteq D$ is directed if every finite set $U \subseteq P$ has an upper bound $x \in P$.