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