Ficheiro:Naofuncao1.png

Exemplo de relação que não é uma função. Aqui um mesmo elemento (3) do domínio X aparece associado a dois elementos do contradomínio Y (c,d).

É dada permissão para copiar, distribuir e/ou modificar este documento sob os termos da Licença de Documentação Livre GNU, Versão 1.2 ou qualquer versão posterior publicada pela Free Software Foundation. Uma cópia da licença está inclusa na seção intitulada "Licença de Documentação Livre GNU" Deutsch - English - Español - Français - http://www.gnu.org/copyleft/fdl.html

Código de geração da imagem[editar | editar código-fonte]

Essa imagem foi gerada através de um código SVG, disponível a seguir:

<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" 
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="400" height="300" version="1.1"
     xmlns="http://www.w3.org/2000/svg">
<desc>Isso não é uma função (exemplo 1).</desc>
<defs>
<marker id="seta" viewBox="0 0 10 10" orient="auto" refX="0" refY="3"
  markerUnits="strokeWidth" markerWidth="7" markerHeight="4">
	<path d="M 0 0 L 10 3 L 0 6 z" />>
</marker>
</defs>


<g style="fill:#f0ffd0;stroke-width:2px;stroke:black">
<ellipse cx="100" cy="150" rx="70" ry="100" />
<ellipse cx="300" cy="150" rx="80" ry="120" />
</g>

<g style="font-size: 15pt; font-weight: bold">
<text x="94" y="39">
X
</text>
<text x="295" y="21">
Y
</text>
</g>

<g style="font-size: 16pt">
<text x="94" y="90">
1
</text>
<text x="94" y="150">
2
</text>
<text x="94" y="210">
3
</text>

<text x="295" y="70">
a
</text>
<text x="295" y="110">
b
</text>
<text x="295" y="150">
c
</text>
<text x="295" y="190">
d
</text>
<text x="295" y="230">
e
</text>
</g>

<g style="stroke-width:2px;stroke:black;marker-end:url(#seta)">
<line x1="112" y1="82" x2="282" y2="102" />
<line x1="112" y1="142" x2="282" y2="106" />
<line x1="112" y1="202" x2="282" y2="152" />
<line x1="112" y1="202" x2="282" y2="187" />
</g>

</svg>