[[!redirects directed graph]] [[!redirects binary endorelation]] < [[nlab:directed graph]] category: redirected to nlab