有向集合とはなんですか？

A. 有向集合とは、空でない集合 A と反射的かつ推移的な二項関係（前順序）≤ との組み合わせで、任意の二元が上界を持つものをいいます。

参考URL:https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E9%9B%86%E5%90%88