cycle of dimension 2 to be f(f(x)) = x
and yep, Assuming the input and output space are the same.
a strand is effectively defined as beginning at each of the x holes (inputs with no preimage at all - side-effect of collisions)... where they end can't really be said till you've completed a circuit of the attached cycle?