se definen usando los tipos "Sequence" y "Sequence of" y la cláusula "index".