Let and be simplicial complexes and . If for each simplex of , we have that is a simplex of , then is said to be a simplicial mapping.