Mapas finitos dependentes (produtos parciais dependentes)
