Edge loop
= Edge loop
An <edge loop> in a <simplicial complex> is an <edge path> whose first and last vertices are the same chosen base vertex. Consecutive repeated vertices are allowed as stationary steps. Its <geometric realization> is a piecewise linear based loop in the realization of the complex.