Let . A path is a simplicial map . Since , the paths are in one-to-one correspondence to the elements in via the function . The initial point of is , and the end point of is .
Let and be two paths such that . Then and thus the elements and have matching faces (with respect to 1).