Definición, propiedades y homomorfismo inducido de mapas de cadenas