有向群

directed group