Gráficas discretas con dominio acotado

Ejemplo:

conj N = {x en Z | x > 0 }

conj A = {x en N | x <= 12}

f :: A -> N f (x) = 3 si x < 5 o 4

Al graficar f se grafica como si dom(f) = N