Définition formelle de la Tresse

E = (I0 , ?1+, I1, ?2-, I2, ?3+, I3, ?4-, I4, ?5+, I5, ?6-, I6) où 0 ? Ij ? N

H = { (?1+, A ?4-), (?1+, A ?6-), (?3+, A ?4-)}

C= {(?1+,D, ?3+),(?4-,D ?6-)}