流网络的任意最大流都不包含一个有向圈满足其每条边的流值都是正数

这个问题涉及到网络流和有向图的知识。流网络的最大流问题可以用最大流算法来解决，其中比较常见的算法包括Ford-Fulkerson算法和Edmonds-Karp算法等。而对于有向图上的有向圈，如果其上每条边的流值都是正数，那么就可以一直沿着这个圈增加流量，从而得到更大的流量，这与最大流的定义相矛盾。因此，流网络的任意最大流都不可能包含这样的有向圈。