Una cadena en formula_1 es un subconjunto formula_102 de forma que formula_103 es un orden total en formula_2.