Dado que el producto es vacío, el único subconjunto es el conjunto vacío ∅, el cual es un grafo válido, puesto que para cada "x" en el dominio ∅ existe un único "y" en el codominio "A" tal que ("x","y") ∈ ∅.