数学における有向集合（ゆうこうしゅうごう、directed set）、有向前順序集合 あるいはフィルター付き集合 とは、空でない集合 "A" と反射的かつ推移的な二項関係（つまり前順序）≤ との組 ("A

出典:wikipedia