Suppose f is a path from x to y and g is a path from y to z.
假设 f 是从 x 到 y 的一条道路，g 是从 y 到 z 的一条道路。