完全有向集

complete directed set