Directed walks, trails, paths and cycles, and strong connectivity

Let $D=(V,A)$ be a finite digraph (Multigraphs, loops and directed graphs as variants distinct from the default finite simple graph). A directed walk of length $\ell$ is a vertex list $v_0,v_1,\ldots,v_\ell$ such that $(v_{i-1},v_i)\in A$ for every $1\le i\le\ell$. It is closed when $v_0=v_\ell$.

A directed trail is a directed walk whose traversed arcs are distinct. A directed path is a directed walk whose vertices are distinct. A directed cycle is a closed directed walk $v_0,\ldots,v_{\ell-1},v_\ell=v_0$ of length $\ell\ge3$ in which $v_0,\ldots,v_{\ell-1}$ are distinct. The lower bound agrees with the library's undirected cycle convention in Walks, closed walks, trails, paths and cycles, with length equal to the number of traversed edges.

A digraph is strongly connected when its vertex set is nonempty and for every ordered pair $u,v$ of vertices there is a directed path from $u$ to $v$. It is weakly connected as defined through its underlying graph in Degree in a multigraph, indegree and outdegree in a digraph, and their underlying connectivity.