>>883
有向集合、有向点族、共終の定義をよろしく。
定義に戻って見るとトートロジーだったり循環論法だったりすることはよくある。