Prove a network is a feedforward network if and only if the numbering of its cells satisfy these conditions
One direction (given such a numbering, there are no cycles) is elementary, and I encourage you to work it out on your own. The other direction is topological sorting.