-vector." In the same case

will be reached from

by a "backward

-step." Thus we may state the characteristic of one-many relations with which we have been dealing by saying that an

-step followed by a backward